src/HOL/IsaMakefile
changeset 31181 27304e12a412
parent 31129 d2cead76fca2
child 31185 cd29afc027cc
     1.1 --- a/src/HOL/IsaMakefile	Fri May 15 16:39:16 2009 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Fri May 15 16:39:17 2009 +0200
     1.3 @@ -851,7 +851,7 @@
     1.4    ex/Recdefs.thy ex/Records.thy ex/ReflectionEx.thy			\
     1.5    ex/Refute_Examples.thy ex/SAT_Examples.thy ex/SVC_Oracle.thy		\
     1.6    ex/Serbian.thy ex/Sqrt.thy ex/Sqrt_Script.thy \
     1.7 -  ex/Sudoku.thy ex/Tarski.thy ex/Term_Of_Syntax.thy	\
     1.8 +  ex/Sudoku.thy ex/Tarski.thy \
     1.9    ex/Termination.thy ex/Unification.thy ex/document/root.bib		\
    1.10    ex/document/root.tex ex/set.thy ex/svc_funcs.ML ex/svc_test.thy \
    1.11    ex/Predicate_Compile.thy ex/predicate_compile.ML ex/Predicate_Compile_ex.thy