1.1 --- a/src/Tools/isac/Knowledge/Equation.thy	Fri Jan 31 17:50:50 2014 +0100
     1.2 +++ b/src/Tools/isac/Knowledge/Equation.thy	Sat Feb 01 16:44:45 2014 +0100
     1.3 @@ -97,5 +97,12 @@
     1.4  "empty_script"
     1.5  ));
     1.6  *}
     1.7 +setup {* KEStore_Elems.add_mets
     1.8 +  [prep_met thy "met_equ" [] e_metID
     1.9 +	    (["Equation"], [],
    1.10 +	      {rew_ord'="tless_true", rls'=Erls, calc = [], srls = e_rls, prls=e_rls, crls = Atools_erls,
    1.11 +          errpats = [], nrls = e_rls},
    1.12 +        "empty_script")]
    1.13 +*}
    1.14  
    1.15  end
    1.16 \ No newline at end of file