1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/test/Tools/isac/Knowledge/Knowledge.thy	Wed Mar 23 17:20:39 2011 +0100
     1.3 @@ -0,0 +1,44 @@
     1.4 +theory Knowledge imports Isac "../../../../test/Tools/isac/Knowledge/Isac"
     1.5 +uses
     1.6 +  ("delete.sml") ("descript.sml") ("atools.sml")
     1.7 +  ("simplify.sml") ("poly.sml") ("rational.sml") ("equation.sml") ("root.sml")
     1.8 +  ("lineq.sml") ("rooteq.sml") ("rateq.sml") ("rootrateq.sml") (*"polyeq.sml"*)
     1.9 +
    1.10 +  ("calculus.sml") ("trig.sml") ("logexp.sml") ("diff.sml") ("integrate.sml")
    1.11 +  ("eqsystem.sml") ("test.sml") ("polyminus.sml") ("vect.sml") ("diffapp.sml")
    1.12 +  ("biegelinie.sml") ("algein.sml") ("diophanteq.sml") ("isac.sml")
    1.13 +
    1.14 +begin
    1.15 +
    1.16 +  ML {*"%%%%%%%%%%%%%%%%% start Knowledge.thy %%%%%%%%%%%%%%%%%%";*}
    1.17 +  use "delete.sml"         (*new 2011*)
    1.18 +  use "descript.sml"       (*new 2011*)
    1.19 +  use "atools.sml"         (*2002, added termorder.sml 2011*)
    1.20 +  use "simplify.sml"       (*part.*)
    1.21 +  use "poly.sml"           (*2002*)
    1.22 +  use "rational.sml"       (*part.*)
    1.23 +  use "equation.sml"       (*2002*)
    1.24 +  use "root.sml"           (*2002*)
    1.25 +  use "lineq.sml"          (*new 2011*)
    1.26 +  use "rooteq.sml"         (*2002*)
    1.27 +  use "rateq.sml"          (*2002*)
    1.28 +  use "rootrateq.sml"      (*2002*)
    1.29 +(*use "polyeq.sml"         (*2002*)      WN110323 error with comments*)
    1.30 +  use "calculus.sml"       (*new 2011*)
    1.31 +  use "trig.sml"           (*2002*)
    1.32 +  use "logexp.sml"         (*2002*)
    1.33 +  use "diff.sml"           (*part.*)
    1.34 +  use "integrate.sml"      (*part. was complete 2009-2*)
    1.35 +  use "eqsystem.sml"       (*2002*)
    1.36 +  use "test.sml"           (*new 2011*)
    1.37 +  use "polyminus.sml"      (*part.*)
    1.38 +  use "vect.sml"           (*2002*)
    1.39 +  use "diffapp.sml"        (*2002*)
    1.40 +  use "biegelinie.sml"     (*2002*)
    1.41 +  use "algein.sml"         (*2002*)
    1.42 +  use "diophanteq.sml"     (*complete*)
    1.43 +  use "isac.sml"           (*part.*)
    1.44 +  ML {*"%%%%%%%%%%%%%%%%% end Knowledge.thy %%%%%%%%%%%%%%%%%%%%";*}
    1.45 +
    1.46 +end
    1.47 +