--- a/src/HOL/IsaMakefile Sat Apr 14 15:08:59 2012 +0100
+++ b/src/HOL/IsaMakefile Sat Apr 14 19:29:31 2012 +0200
@@ -1027,7 +1027,7 @@
ex/Quicksort.thy ex/ROOT.ML \
ex/Records.thy ex/ReflectionEx.thy ex/Refute_Examples.thy \
ex/SAT_Examples.thy ex/Serbian.thy ex/Set_Theory.thy \
- ex/Set_Algebras.thy ex/Simproc_Tests.thy ex/SVC_Oracle.thy \
+ ex/Simproc_Tests.thy ex/SVC_Oracle.thy \
ex/sledgehammer_tactics.ML ex/Seq.thy ex/Sqrt.thy ex/Sqrt_Script.thy \
ex/Sudoku.thy ex/Tarski.thy ex/Termination.thy ex/Transfer_Ex.thy \
ex/Tree23.thy ex/Unification.thy ex/While_Combinator_Example.thy \