| changeset 3294 | 4c73b6508f53 |
| parent 3232 | 19a2b853ba7b |
| child 3337 | c056d328aa0e |
--- a/src/HOL/IsaMakefile Thu May 22 15:07:45 1997 +0200 +++ b/src/HOL/IsaMakefile Thu May 22 15:08:14 1997 +0200 @@ -200,7 +200,7 @@ ## Miscellaneous examples -EX_NAMES = String BT InSort Qsort Puzzle Primes NatSum MT +EX_NAMES = Fib Primes 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)