src/HOL/Predicate_Compile.thy
changeset 35890 14a0993fe64b
parent 35879 99818df5b8f5
child 35898 c890a3835d15
     1.1 --- a/src/HOL/Predicate_Compile.thy	Mon Mar 22 08:30:13 2010 +0100
     1.2 +++ b/src/HOL/Predicate_Compile.thy	Mon Mar 22 08:30:13 2010 +0100
     1.3 @@ -10,7 +10,6 @@
     1.4  uses
     1.5    "Tools/Predicate_Compile/predicate_compile_aux.ML"
     1.6    "Tools/Predicate_Compile/predicate_compile_core.ML"
     1.7 -  "Tools/Predicate_Compile/predicate_compile_set.ML"
     1.8    "Tools/Predicate_Compile/predicate_compile_data.ML"
     1.9    "Tools/Predicate_Compile/predicate_compile_fun.ML"
    1.10    "Tools/Predicate_Compile/predicate_compile_pred.ML"