--- a/src/HOL/IsaMakefile Tue Jun 19 11:16:41 2012 +0200
+++ b/src/HOL/IsaMakefile Wed Jun 20 16:54:08 2012 +0200
@@ -259,6 +259,7 @@
Tools/rewrite_hol_proof.ML \
Tools/sat_funcs.ML \
Tools/sat_solver.ML \
+ Tools/set_comprehension_pointfree.ML \
Tools/split_rule.ML \
Tools/try0.ML \
Tools/typedef.ML \
@@ -1042,8 +1043,7 @@
ex/Transfer_Int_Nat.thy \
ex/Tree23.thy ex/Unification.thy ex/While_Combinator_Example.thy \
ex/document/root.bib ex/document/root.tex ex/svc_funcs.ML \
- ex/svc_test.thy ../Tools/interpretation_with_defs.ML \
- ex/set_comprehension_pointfree.ML
+ ex/svc_test.thy ../Tools/interpretation_with_defs.ML
@$(ISABELLE_TOOL) usedir $(OUT)/HOL ex