equal
deleted
inserted
replaced
53 [["Berechnung","erstNumerisch"],["Berechnung","erstSymbolisch"]])); |
53 [["Berechnung","erstNumerisch"],["Berechnung","erstSymbolisch"]])); |
54 |
54 |
55 (* show_ptyps(); |
55 (* show_ptyps(); |
56 *) |
56 *) |
57 *} |
57 *} |
58 setup {* KEStore_Elems.store_pbts |
58 setup {* KEStore_Elems.add_pbts |
59 [(prep_pbt thy "pbl_algein" [] e_pblID (["Berechnung"], [], e_rls, NONE, [])), |
59 [(prep_pbt thy "pbl_algein" [] e_pblID (["Berechnung"], [], e_rls, NONE, [])), |
60 (prep_pbt thy "pbl_algein_numsym" [] e_pblID |
60 (prep_pbt thy "pbl_algein_numsym" [] e_pblID |
61 (["numerischSymbolische", "Berechnung"], |
61 (["numerischSymbolische", "Berechnung"], |
62 [("#Given", |
62 [("#Given", |
63 ["KantenLaenge k_k","Querschnitt q__q"(*q_ in Biegelinie.thy*), "KantenUnten u_u", |
63 ["KantenLaenge k_k","Querschnitt q__q"(*q_ in Biegelinie.thy*), "KantenUnten u_u", |