1.1 --- a/src/Tools/isac/Knowledge/Equation.thy	Fri Oct 25 20:52:08 2013 +0100
     1.2 +++ b/src/Tools/isac/Knowledge/Equation.thy	Fri Oct 25 20:58:28 2013 +0100
     1.3 @@ -48,8 +48,6 @@
     1.4  setup {* KEStore_Elems.add_rlss [("univariate_equation_prls",
     1.5    (Context.theory_name @{theory}, prep_rls univariate_equation_prls))] *}
     1.6  ML {*
     1.7 -
     1.8 -
     1.9  store_pbt 
    1.10   (prep_pbt thy "pbl_equ" [] e_pblID
    1.11   (["equation"],