1.1 --- a/src/Tools/isac/Build_Isac.thy	Tue Aug 31 10:19:02 2010 +0200
     1.2 +++ b/src/Tools/isac/Build_Isac.thy	Tue Aug 31 10:22:15 2010 +0200
     1.3 @@ -59,20 +59,6 @@
     1.4  (*use_thy "Knowledge/Typefix" FIXXXMEWN100827*)
     1.5  use_thy "Knowledge/Descript"
     1.6  
     1.7 -ML {* @{thm Semiring_Normalization.comm_semiring_1_class.normalizing_semiring_rules(26)} *}
     1.8 -
     1.9 -ML {*"--------------------------------------------"*}
    1.10 -
    1.11 -
    1.12 -ML {*"--------------------------------------------"*}
    1.13 -
    1.14 -ML {* @{thm } *}
    1.15 -
    1.16 -lemma foo: 
    1.17 -by (rule )
    1.18 -
    1.19 -ML {* @{thm foo} *}
    1.20 -
    1.21  (*
    1.22  use_thy "Knowledge/Atools"
    1.23