changeset 60291 | 52921aa0e14a |
parent 60290 | bb4e8b01b072 |
child 60294 | 6623f5cdcb19 |
1.1 --- a/src/Tools/isac/Knowledge/AlgEin.thy Thu Jun 10 12:23:57 2021 +0200 1.2 +++ b/src/Tools/isac/Knowledge/AlgEin.thy Thu Jun 10 12:48:50 2021 +0200 1.3 @@ -19,9 +19,6 @@ 1.4 senkrecht :: real 1.5 unten :: real 1.6 1.7 -ML \<open> 1.8 -val thy = @{theory}; 1.9 -\<close> 1.10 (** problems **) 1.11 setup \<open>KEStore_Elems.add_pbts 1.12 [(Problem.prep_input @{theory} "pbl_algein" [] Problem.id_empty (["Berechnung"], [], Rule_Set.empty, NONE, [])),