wneuper/isa: comparison src/Tools/isac/Test

equal deleted inserted replaced

-:02a9b2540eb7
+:a51a70334191
 	use"diff.sml";
 *)
 use "../../../test/Tools/isac/Knowledge/integrate.sml"; (*part.*)
 (*
 	use"eqsystem.sml";
-	use"polyminus.sml";
+*)
+use "../../../test/Tools/isac/Knowledge/polyminus.sml"; (*part.*)
+(*
 	use"vect.sml";
 	use"diffapp.sml";
 	use"biegelinie.sml";
 	use"algein.sml";
 	cd "../..";