src/HOL/IsaMakefile
changeset 33256 b350516cb1f9
parent 33250 5c2af18a3237
child 33262 b8d3b7196fe7
     1.1 --- a/src/HOL/IsaMakefile	Tue Oct 27 09:03:56 2009 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Tue Oct 27 09:03:56 2009 +0100
     1.3 @@ -953,7 +953,7 @@
     1.4    ex/Intuitionistic.thy ex/Lagrange.thy ex/LocaleTest2.thy ex/MT.thy	\
     1.5    ex/MergeSort.thy ex/Meson_Test.thy ex/MonoidGroup.thy			\
     1.6    ex/Multiquote.thy ex/NatSum.thy ex/Numeral.thy ex/PER.thy		\
     1.7 -  ex/Predicate_Compile_ex.thy			\
     1.8 +  ex/Predicate_Compile_ex.thy ex/Predicate_Compile_Quickcheck.thy			\
     1.9    ex/PresburgerEx.thy ex/Primrec.thy ex/Quickcheck_Examples.thy		\
    1.10    ex/ROOT.ML ex/Recdefs.thy ex/Records.thy ex/ReflectionEx.thy		\
    1.11    ex/Refute_Examples.thy ex/SAT_Examples.thy ex/SVC_Oracle.thy		\