1.1 --- a/src/HOL/IsaMakefile	Fri Oct 23 14:22:36 2009 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Fri Oct 23 14:33:07 2009 +0200
     1.3 @@ -170,6 +170,7 @@
     1.4    Tools/Function/lexicographic_order.ML \
     1.5    Tools/Function/measure_functions.ML \
     1.6    Tools/Function/mutual.ML \
     1.7 +  Tools/Function/pat_completeness.ML \
     1.8    Tools/Function/pattern_split.ML \
     1.9    Tools/Function/scnp_reconstruct.ML \
    1.10    Tools/Function/scnp_solve.ML \