src/HOL/IsaMakefile
changeset 28243 84d90ec67059
parent 28227 77221ee0f7b9
child 28312 f0838044f034
     1.1 --- a/src/HOL/IsaMakefile	Tue Sep 16 15:37:33 2008 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Tue Sep 16 16:13:06 2008 +0200
     1.3 @@ -779,7 +779,8 @@
     1.4    ex/ReflectionEx.thy ex/ROOT.ML ex/Recdefs.thy ex/Records.thy		\
     1.5    ex/Reflected_Presburger.thy ex/coopertac.ML				\
     1.6    ex/Refute_Examples.thy ex/SAT_Examples.thy ex/SVC_Oracle.thy		\
     1.7 -  ex/Sudoku.thy ex/Tarski.thy ex/Unification.thy ex/document/root.bib	\
     1.8 +  ex/Sudoku.thy ex/Tarski.thy ex/Term_Of_Syntax.thy			\
     1.9 +  ex/Unification.thy ex/document/root.bib			\
    1.10    ex/document/root.tex ex/Meson_Test.thy ex/reflection.ML ex/set.thy	\
    1.11    ex/svc_funcs.ML ex/svc_test.thy	\
    1.12    ex/ImperativeQuicksort.thy	\