changeset 33083 | 1fad3160d873 |
parent 33028 | 9aa8bfb1649d |
child 33085 | c1b6cc29496b |
child 33175 | 2083bde13ce1 |
child 33269 | 3b7e2dbbd684 |
--- 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 \