1.1 --- a/src/Tools/isac/Knowledge/Equation.thy	Tue Nov 19 16:42:06 2013 +0100
     1.2 +++ b/src/Tools/isac/Knowledge/Equation.thy	Tue Nov 19 20:08:37 2013 +0000
     1.3 @@ -94,14 +94,21 @@
     1.4  	       argl2dtss))
     1.5  	     ]);
     1.6  
     1.7 +*}
     1.8 +setup {* KEStore_Elems.add_cas
     1.9 +  [((term_of o the o (parse thy)) "solveTest", 
    1.10 +      (("Test", ["univariate","equation","test"], ["no_met"]), argl2dtss)),
    1.11 +    ((term_of o the o (parse thy)) "solve",
    1.12 +      (("Isac", ["univariate","equation"], ["no_met"]), argl2dtss))]*}
    1.13  
    1.14  
    1.15 +ML {*
    1.16  store_met
    1.17      (prep_met thy "met_equ" [] e_metID
    1.18  	      (["Equation"],
    1.19  	       [],
    1.20  	       {rew_ord'="tless_true", rls'=Erls, calc = [], 
    1.21 -		srls = e_rls, 
    1.22 +		srls = e_rls,
    1.23  		prls=e_rls,
    1.24  	     crls = Atools_erls, errpats = [], nrls = e_rls},
    1.25  "empty_script"