src/HOL/IsaMakefile
changeset 31595 bd2f7211a420
parent 31459 ae39b7b2a68a
child 31604 eb2f9d709296
     1.1 --- a/src/HOL/IsaMakefile	Tue Jun 09 22:59:53 2009 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Tue Jun 09 22:59:54 2009 +0200
     1.3 @@ -854,7 +854,7 @@
     1.4    ex/Lagrange.thy ex/LocaleTest2.thy ex/MT.thy ex/MergeSort.thy		\
     1.5    ex/Meson_Test.thy ex/MonoidGroup.thy ex/Multiquote.thy ex/NatSum.thy	\
     1.6    ex/Numeral.thy ex/PER.thy ex/PresburgerEx.thy ex/Primrec.thy		\
     1.7 -  ex/Quickcheck_Examples.thy ex/Quickcheck_Generators.thy ex/ROOT.ML	\
     1.8 +  ex/Quickcheck_Examples.thy ex/ROOT.ML	\
     1.9    ex/Recdefs.thy ex/Records.thy ex/ReflectionEx.thy			\
    1.10    ex/Refute_Examples.thy ex/SAT_Examples.thy ex/SVC_Oracle.thy		\
    1.11    ex/Serbian.thy ex/Sqrt.thy ex/Sqrt_Script.thy \