src/HOL/Ctr_Sugar.thy
changeset 58177 166131276380
parent 57631 959caab43a3d
child 58188 cc71d2be4f0a
     1.1 --- a/src/HOL/Ctr_Sugar.thy	Wed Sep 03 22:47:48 2014 +0200
     1.2 +++ b/src/HOL/Ctr_Sugar.thy	Wed Sep 03 22:49:05 2014 +0200
     1.3 @@ -37,6 +37,7 @@
     1.4  "\<not> Q \<Longrightarrow> P \<longleftrightarrow> Q \<Longrightarrow> P \<Longrightarrow> R"
     1.5  by blast+
     1.6  
     1.7 +ML_file "Tools/Ctr_Sugar/local_interpretation.ML"
     1.8  ML_file "Tools/Ctr_Sugar/ctr_sugar_util.ML"
     1.9  ML_file "Tools/Ctr_Sugar/ctr_sugar_tactics.ML"
    1.10  ML_file "Tools/Ctr_Sugar/ctr_sugar_code.ML"