changeset 37216 | 3165bc303f66 |
parent 32833 | f3716d1a2e48 |
child 39042 | d8da44a8dd25 |
1.1 --- a/doc-src/IsarRef/Thy/ROOT-ZF.ML Mon May 31 19:36:13 2010 +0200 1.2 +++ b/doc-src/IsarRef/Thy/ROOT-ZF.ML Mon May 31 21:06:57 2010 +0200 1.3 @@ -1,4 +1,4 @@ 1.4 -Unsynchronized.set ThyOutput.source; 1.5 +Unsynchronized.set Thy_Output.source; 1.6 use "../../antiquote_setup.ML"; 1.7 1.8 use_thy "ZF_Specific";