src/HOL/IsaMakefile
changeset 29111 d2b60c49a713
parent 29105 8f38bf68d42e
parent 29106 25e28a4070f3
child 29125 d41182a8135c
     1.1 --- a/src/HOL/IsaMakefile	Mon Dec 15 09:58:45 2008 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Mon Dec 15 10:19:02 2008 +0100
     1.3 @@ -777,6 +777,7 @@
     1.4    ex/Coherent.thy ex/Dense_Linear_Order_Ex.thy ex/Eval_Examples.thy	\
     1.5    ex/Groebner_Examples.thy ex/Random.thy ex/Quickcheck.thy		\
     1.6    ex/Codegenerator.thy ex/Codegenerator_Pretty.thy			\
     1.7 +  ex/CodegenSML_Test.thy 						\
     1.8    ex/Commutative_RingEx.thy ex/Efficient_Nat_examples.thy		\
     1.9    ex/Hex_Bin_Examples.thy ex/Commutative_Ring_Complete.thy		\
    1.10    ex/ExecutableContent.thy ex/Fundefs.thy ex/Guess.thy ex/Hebrew.thy	\