1.1 --- a/test/Tools/isac/Test_Isac.thy	Tue Mar 20 15:32:17 2012 +0100
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Thu Apr 05 11:31:56 2012 +0200
     1.3 @@ -127,7 +127,7 @@
     1.4    use "Interpret/generate.sml"
     1.5    use "Interpret/calchead.sml"      (*part.*)
     1.6    use "Interpret/appl.sml"          (*!complete WEGEN INTERMED TESTCODE*)
     1.7 -  use "Interpret/rewtools.sml"      (*!    *)
     1.8 +  use "Interpret/rewtools.sml"      (*TODO*)
     1.9    use "Interpret/script.sml"        (*!TODO/part.*)
    1.10    use "Interpret/solve.sml"         (*part.*)
    1.11    use "Interpret/inform.sml"        (*part.*)
    1.12 @@ -177,6 +177,7 @@
    1.13    use "Knowledge/algein.sml"
    1.14    use "Knowledge/diophanteq.sml"
    1.15    use "Knowledge/isac.sml"
    1.16 +  use "Knowledge/build_thydata.sml"
    1.17    ML {*"%%%%%%%%%%%%%%%%% end Knowledge.thy %%%%%%%%%%%%%%%%%%%%";*}
    1.18    ML {*"%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%";*}
    1.19    ML {*"%%%%%%%%%%%%%%%%% all tests successful %%%%%%%%%%%%%%%%%";*}