1.1 --- a/src/Tools/isac/Knowledge/DiophantEq.thy	Wed Jan 22 20:23:31 2014 +0100
     1.2 +++ b/src/Tools/isac/Knowledge/DiophantEq.thy	Wed Jan 22 23:31:59 2014 +0100
     1.3 @@ -30,8 +30,6 @@
     1.4    ],
     1.5    e_rls, SOME "solve (e_e::bool, v_v::int)",
     1.6    [["LinEq","solve_lineq_equation"]])); (*-----TODO*)
     1.7 -show_ptyps();
     1.8 -get_pbt ["diophantine","equation"];
     1.9  *}
    1.10  setup {* KEStore_Elems.store_pbts
    1.11    [(prep_pbt thy "pbl_equ_dio" [] e_pblID