| changeset 3417 | 58ccb80eb50a |
| parent 3390 | 0c7625196d95 |
| child 3482 | ef918a90f9bf |
--- a/src/HOL/IsaMakefile Thu Jun 05 19:44:13 1997 +0200 +++ b/src/HOL/IsaMakefile Fri Jun 06 10:18:46 1997 +0200 @@ -200,7 +200,7 @@ ## Miscellaneous examples -EX_NAMES = Fib Primes Primrec NatSum String BT InSort Qsort Puzzle MT +EX_NAMES = Recdef Fib Primes Primrec NatSum String BT InSort Qsort Puzzle MT EX_FILES = ex/ROOT.ML ex/cla.ML ex/meson.ML ex/mesontest.ML ex/rel.ML \ ex/set.ML $(EX_NAMES:%=ex/%.thy) $(EX_NAMES:%=ex/%.ML)