diff -r ccefc096abc9 -r 1fad3160d873 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Fri Oct 23 14:22:36 2009 +0200
+++ b/src/HOL/IsaMakefile	Fri Oct 23 14:33:07 2009 +0200
@@ -170,6 +170,7 @@
   Tools/Function/lexicographic_order.ML \
   Tools/Function/measure_functions.ML \
   Tools/Function/mutual.ML \
+  Tools/Function/pat_completeness.ML \
   Tools/Function/pattern_split.ML \
   Tools/Function/scnp_reconstruct.ML \
   Tools/Function/scnp_solve.ML \