diff -r c05f73cf3227 -r 4c73b6508f53 src/HOL/IsaMakefile
--- 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)