1.1 --- a/src/Tools/isac/Knowledge/Equation.thy	Wed Nov 23 11:14:38 2022 +0100
     1.2 +++ b/src/Tools/isac/Knowledge/Equation.thy	Thu Nov 24 18:07:17 2022 +0100
     1.3 @@ -56,7 +56,7 @@
     1.4  
     1.5  ML\<open>
     1.6  (* function for handling the cas-input "solve (x+1=2, x)":
     1.7 -   make a model which is already in ctree-internal formatarbitrary  *)
     1.8 +   make a model which is already in ctree-internal format *)
     1.9  fun argl2dtss [Const (\<^const_name>\<open>Pair\<close>, _) $ eq $ bdv] =
    1.10      [((the o (TermC.parseNEW \<^context>)) "equality", [eq]),
    1.11       ((the o (TermC.parseNEW \<^context>)) "solveFor", [bdv]),