1.1 --- a/src/Tools/isac/Test_Isac.thy	Mon Dec 27 10:38:49 2010 +0100
     1.2 +++ b/src/Tools/isac/Test_Isac.thy	Wed Dec 29 20:07:52 2010 +0100
     1.3 @@ -127,8 +127,8 @@
     1.4  theory "Isac"
     1.5  *}
     1.6  use "../../../test/Tools/isac/Knowledge/isac.sml"; (**)
     1.7 +
     1.8  ML {*print_depth 3*}
     1.9 -
    1.10  ML {*111*}
    1.11  
    1.12  (*
    1.13 @@ -141,7 +141,8 @@
    1.14  *** Theory loader: the error(s) above occurred while examining theory "Foo_Language"
    1.15  
    1.16  use_thy "../../Tools/isac/ADDTESTS/trace-rewrite/Build_Test"
    1.17 -*)use "../../../test/Pure/library.sml" (**)
    1.18 +*)
    1.19 +use "../../../test/Pure/library.sml" (**)
    1.20  use_thy "../../../test/Pure/General/Basics"
    1.21  
    1.22  use_thy "../../../test/Pure/Isar/Test_Parse_Term"