wneuper/isa: comparison test/Tools/isac/Knowledge/equation.sml

equal deleted inserted replaced

-:02a1cce684a7
+:4c52ad406c20
 (c) due to copyright terms
 use"../smltest/IsacKnowledge/equation.sml";
 use"equation.sml";
 *)
-val thy = Isac.thy;
+val thy = (theory "Isac");
 "-----------------------------------------------------------------";
 "table of contents -----------------------------------------------";
 "-----------------------------------------------------------------";
 "----------- CAS input -------------------------------------------";