1.1 --- a/src/Tools/isac/Knowledge/Equation.thy	Fri Aug 27 10:28:44 2010 +0200
     1.2 +++ b/src/Tools/isac/Knowledge/Equation.thy	Fri Aug 27 10:39:12 2010 +0200
     1.3 @@ -38,7 +38,7 @@
     1.4  
     1.5  
     1.6  store_pbt 
     1.7 - (prep_pbt Equation.thy "pbl_equ" [] e_pblID
     1.8 + (prep_pbt (theory "Equation") "pbl_equ" [] e_pblID
     1.9   (["equation"],
    1.10    [("#Given" ,["equality e_","solveFor v_"]),
    1.11     ("#Where" ,["matches (?a = ?b) e_"]),
    1.12 @@ -50,7 +50,7 @@
    1.13    []));
    1.14  
    1.15  store_pbt
    1.16 - (prep_pbt Equation.thy "pbl_equ_univ" [] e_pblID
    1.17 + (prep_pbt (theory "Equation") "pbl_equ_univ" [] e_pblID
    1.18   (["univariate","equation"],
    1.19    [("#Given" ,["equality e_","solveFor v_"]),
    1.20     ("#Where" ,["matches (?a = ?b) e_"]),
    1.21 @@ -86,7 +86,7 @@
    1.22  
    1.23  
    1.24  store_met
    1.25 -    (prep_met Equation.thy "met_equ" [] e_metID
    1.26 +    (prep_met (theory "Equation") "met_equ" [] e_metID
    1.27  	      (["Equation"],
    1.28  	       [],
    1.29  	       {rew_ord'="tless_true", rls'=Erls, calc = [],