1.1 --- a/src/Tools/isac/Knowledge/Equation.thy	Sun Feb 02 02:45:11 2014 +0100
     1.2 +++ b/src/Tools/isac/Knowledge/Equation.thy	Sun Feb 02 03:09:40 2014 +0100
     1.3 @@ -85,18 +85,6 @@
     1.4        (("Isac", ["univariate","equation"], ["no_met"]), argl2dtss))]*}
     1.5  
     1.6  
     1.7 -ML {*
     1.8 -store_met
     1.9 -    (prep_met thy "met_equ" [] e_metID
    1.10 -	      (["Equation"],
    1.11 -	       [],
    1.12 -	       {rew_ord'="tless_true", rls'=Erls, calc = [], 
    1.13 -		srls = e_rls,
    1.14 -		prls=e_rls,
    1.15 -	     crls = Atools_erls, errpats = [], nrls = e_rls},
    1.16 -"empty_script"
    1.17 -));
    1.18 -*}
    1.19  setup {* KEStore_Elems.add_mets
    1.20    [prep_met thy "met_equ" [] e_metID
    1.21  	    (["Equation"], [],