src/HOL/Predicate_Compile.thy
changeset 36046 c3946372f556
parent 36032 dfd30b5b4e73
child 40052 ea46574ca815
     1.1 --- a/src/HOL/Predicate_Compile.thy	Tue Mar 30 15:46:50 2010 -0700
     1.2 +++ b/src/HOL/Predicate_Compile.thy	Wed Mar 31 16:44:41 2010 +0200
     1.3 @@ -8,6 +8,7 @@
     1.4  imports New_Random_Sequence
     1.5  uses
     1.6    "Tools/Predicate_Compile/predicate_compile_aux.ML"
     1.7 +  "Tools/Predicate_Compile/predicate_compile_compilations.ML"
     1.8    "Tools/Predicate_Compile/predicate_compile_core.ML"
     1.9    "Tools/Predicate_Compile/predicate_compile_data.ML"
    1.10    "Tools/Predicate_Compile/predicate_compile_fun.ML"