1.1 --- a/test/Tools/isac/Test_Isac.thy	Mon Jul 25 14:18:29 2011 +0200
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Mon Jul 25 14:19:50 2011 +0200
     1.3 @@ -123,7 +123,7 @@
     1.4    use "Interpret/ctree.sml"         (*!...!see(25)*)
     1.5    use "Interpret/ptyps.sml"         (*    *)
     1.6  (*use "Interpret/generate.sml"        new 2011*)
     1.7 -  use "Interpret/calchead.sml"      (*!    *)
     1.8 +  use "Interpret/calchead.sml"      (*part.*)
     1.9    use "Interpret/appl.sml"          (*!complete WEGEN INTERMED TESTCODE*)
    1.10    use "Interpret/rewtools.sml"      (*!    *)
    1.11    use "Interpret/script.sml"        (*!TODO/part.*)