1.1 --- a/src/Tools/isac/Knowledge/AlgEin.thy	Mon Jan 27 21:58:57 2014 +0100
     1.2 +++ b/src/Tools/isac/Knowledge/AlgEin.thy	Mon Jan 27 22:26:51 2014 +0100
     1.3 @@ -23,38 +23,8 @@
     1.4  
     1.5  ML {*
     1.6  val thy = @{theory};
     1.7 -
     1.8 +*}
     1.9  (** problems **)
    1.10 -
    1.11 -store_pbt
    1.12 - (prep_pbt thy "pbl_algein" [] e_pblID
    1.13 - (["Berechnung"], [], e_rls, NONE, 
    1.14 -  []));
    1.15 -(* WN070405
    1.16 -store_pbt
    1.17 - (prep_pbt thy "pbl_algein_num" [] e_pblID
    1.18 - (["numerische", "Berechnung"],
    1.19 -  [("#Given" ,["KantenUnten u_u", "KantenSenkrecht s_s", "KantenOben o_o"]),
    1.20 -   ("#Find"  ,["GesamtLaenge l_l"])
    1.21 -  ],
    1.22 -  append_rls "e_rls" e_rls [], 
    1.23 -  NONE, 
    1.24 -  []));
    1.25 -*)
    1.26 -store_pbt
    1.27 - (prep_pbt thy "pbl_algein_numsym" [] e_pblID
    1.28 - (["numerischSymbolische", "Berechnung"],
    1.29 -  [("#Given" ,["KantenLaenge k_k","Querschnitt q__q"(*q_ in Biegelinie.thy*),
    1.30 -	       "KantenUnten u_u", "KantenSenkrecht s_s", "KantenOben o_o"]),
    1.31 -   ("#Find"  ,["GesamtLaenge l_l"])
    1.32 -  ],
    1.33 -  e_rls, 
    1.34 -  NONE, 
    1.35 -  [["Berechnung","erstNumerisch"],["Berechnung","erstSymbolisch"]]));
    1.36 -
    1.37 -(* show_ptyps();
    1.38 -   *)
    1.39 -*}
    1.40  setup {* KEStore_Elems.add_pbts
    1.41    [(prep_pbt thy "pbl_algein" [] e_pblID (["Berechnung"], [], e_rls, NONE, [])),
    1.42      (prep_pbt thy "pbl_algein_numsym" [] e_pblID