1.1 --- a/test/Tools/isac/Test_Isac.thy Mon Mar 19 09:48:03 2012 +0100
1.2 +++ b/test/Tools/isac/Test_Isac.thy Tue Mar 20 15:32:17 2012 +0100
1.3 @@ -152,7 +152,7 @@
1.4 use "Knowledge/atools.sml"
1.5 use "Knowledge/simplify.sml"
1.6 use "Knowledge/poly.sml"
1.7 -(*use "Knowledge/rational.sml" WN120317.TODO postponed to joint work with dmeind*)
1.8 +(*use "Knowledge/rational.sml" WN120317.TODO postponed to joint work with dmeindl *)
1.9 use "Knowledge/equation.sml"
1.10 use "Knowledge/root.sml"
1.11 use "Knowledge/lineq.sml"
1.12 @@ -172,11 +172,11 @@
1.13 use "Knowledge/test.sml"
1.14 use "Knowledge/polyminus.sml"
1.15 use "Knowledge/vect.sml"
1.16 - use "Knowledge/diffapp.sml" (*postponed*)
1.17 + use "Knowledge/diffapp.sml" (* postponed to dev. specification | TP-prog. *)
1.18 use "Knowledge/biegelinie.sml"
1.19 use "Knowledge/algein.sml"
1.20 use "Knowledge/diophanteq.sml"
1.21 - use "Knowledge/isac.sml" (*part.*)
1.22 + use "Knowledge/isac.sml"
1.23 ML {*"%%%%%%%%%%%%%%%%% end Knowledge.thy %%%%%%%%%%%%%%%%%%%%";*}
1.24 ML {*"%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%";*}
1.25 ML {*"%%%%%%%%%%%%%%%%% all tests successful %%%%%%%%%%%%%%%%%";*}