--- a/src/HOL/Makefile Fri Jun 14 12:22:59 1996 +0200
+++ b/src/HOL/Makefile Fri Jun 14 12:23:31 1996 +0200
@@ -181,8 +181,8 @@
fi
##Miscellaneous examples
-EX_NAMES = LexProd MT Acc PropLog Puzzle Mutil Qsort LList Rec Simult Term \
- String BT Perm Comb
+EX_NAMES = String BT Perm Comb InSort Qsort LexProd Puzzle Mutil \
+ Primes NatSum SList LList 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)