1.1 --- a/src/Tools/isac/Knowledge/Equation.thy	Tue Nov 19 22:18:14 2013 +0000
     1.2 +++ b/src/Tools/isac/Knowledge/Equation.thy	Tue Nov 19 22:23:30 2013 +0000
     1.3 @@ -83,17 +83,6 @@
     1.4        [(the o (parseNEW ctxt)) "L"])
     1.5       ]
     1.6    | argl2dtss _ = error "Equation.ML: wrong argument for argl2dtss";
     1.7 -
     1.8 -castab := 
     1.9 -overwritel (!castab, 
    1.10 -	    [((term_of o the o (parse thy)) "solveTest", 
    1.11 -	      (("Test", ["univariate","equation","test"], ["no_met"]), 
    1.12 -	       argl2dtss)),
    1.13 -	     ((term_of o the o (parse thy)) "solve",  
    1.14 -	      (("Isac", ["univariate","equation"], ["no_met"]), 
    1.15 -	       argl2dtss))
    1.16 -	     ]);
    1.17 -
    1.18  *}
    1.19  setup {* KEStore_Elems.add_cas
    1.20    [((term_of o the o (parse thy)) "solveTest",