1.1 --- a/src/Tools/isac/Knowledge/Equation.thy Thu Dec 22 11:12:18 2016 +0100
1.2 +++ b/src/Tools/isac/Knowledge/Equation.thy Thu Dec 22 11:36:20 2016 +0100
1.3 @@ -65,7 +65,7 @@
1.4
1.5 ML{*
1.6 (*.function for handling the cas-input "solve (x+1=2, x)":
1.7 - make a model which is already in ptree-internal format.*)
1.8 + make a model which is already in ctree-internal format.*)
1.9 (* val (h,argl) = strip_comb (str2term "solve (x+1=2, x)");
1.10 val (h,argl) = strip_comb ((Thm.term_of o the o (parse thy))
1.11 "solveTest (x+1=2, x)");