branch | isac-update-Isa09-2 |
changeset 38050 | 4c52ad406c20 |
parent 37906 | e2b23ba9df13 |
child 42176 | 3573fd729e99 |
1.1 --- a/test/Tools/isac/xmlsrc/pbl-met-hierarchy.sml Wed Oct 06 14:52:12 2010 +0200 1.2 +++ b/test/Tools/isac/xmlsrc/pbl-met-hierarchy.sml Wed Oct 06 15:12:41 2010 +0200 1.3 @@ -8,7 +8,7 @@ 1.4 CAUTION with testing *2file functions -- they are actually writing !!! 1.5 *) 1.6 1.7 -val thy = Isac.thy; 1.8 +val thy = (theory "Isac"); 1.9 1.10 "-----------------------------------------------------------------"; 1.11 "table of contents -----------------------------------------------";