--- a/src/HOL/IsaMakefile Fri Apr 18 11:47:11 1997 +0200
+++ b/src/HOL/IsaMakefile Fri Apr 18 11:47:36 1997 +0200
@@ -195,8 +195,8 @@
## Miscellaneous examples
-EX_NAMES = String BT Perm Comb InSort Qsort LexProd \
- Puzzle Mutil Primes NatSum SList LList Acc PropLog Term Simult MT
+EX_NAMES = String BT Perm Comb InSort Qsort LexProd Puzzle Mutil \
+ Primes NatSum SList LList LFilter Acc PropLog Term Simult 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)