1.1 --- a/test/Tools/isac/Test_Isac.thy	Fri Jun 21 17:53:46 2013 +0200
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Sun Jun 30 17:27:34 2013 +0200
     1.3 @@ -129,14 +129,8 @@
     1.4    use "Interpret/generate.sml"
     1.5  (*... SAME ERROR HERE ON ISABELLE2012 AS IN ISAC ON ISABELLE2011*)
     1.6    use "Interpret/calchead.sml"      (*part.*)
     1.7 -  use "Interpret/appl.sml"          (*!complete WEGEN INTERMED TESTCODE*)
     1.8 -  use "Interpret/rewtools.sml"      (*TODO/part.WN120406*)
     1.9 -(*val it = "----------- fun thy_containing_rls ---------------------": string
    1.10 -:
    1.11 - thy_containing_rls changed 1                    ...CONCERNED WITH thehier
    1.12 -
    1.13 -!!!!!!!!!!!!!!!!!!!!!!!! THIS TEST RANDOMLY RAISES AN ERROR OR NOT !!!!!!!!!!!!!!!!!!!!!!!!
    1.14 -*)
    1.15 +  use "Interpret/appl.sml"          (*complete "WEGEN INTERMED TESTCODE"                          *)
    1.16 +  use "Interpret/rewtools.sml"      (*complete, isac's Context broken at 2009-2 --> 2011, thehier!*)
    1.17    use "Interpret/script.sml"        (*!TODO/part.*)
    1.18    use "Interpret/solve.sml"         (*part.*)
    1.19    use "Interpret/inform.sml"        (*part.*)