removed debugging junk
authorblanchet
Tue Sep 09 20:51:36 2014 +0200 (2014-09-09)
changeset 58276aa1b6ea6a893
parent 58275 280ede57a6a9
child 58277 0dcd3a623a6e
removed debugging junk
src/HOL/BNF_Least_Fixpoint.thy
     1.1 --- a/src/HOL/BNF_Least_Fixpoint.thy	Tue Sep 09 20:51:36 2014 +0200
     1.2 +++ b/src/HOL/BNF_Least_Fixpoint.thy	Tue Sep 09 20:51:36 2014 +0200
     1.3 @@ -16,9 +16,6 @@
     1.4    "datatype_compat" :: thy_decl
     1.5  begin
     1.6  
     1.7 -ML {* proofs := 2 *} (*###*)
     1.8 -ML {* Proofterm.proofs_enabled () *}
     1.9 -
    1.10  lemma subset_emptyI: "(\<And>x. x \<in> A \<Longrightarrow> False) \<Longrightarrow> A \<subseteq> {}"
    1.11    by blast
    1.12