Makefile

--- a/Makefile	Fri Jan 14 12:35:27 1994 +0100
+++ b/Makefile	Mon Jan 24 15:59:02 1994 +0100
@@ -29,6 +29,7 @@
 EX_FILES = ex/ROOT.ML ex/cla.ML ex/finite.ML ex/finite.thy\
 	   ex/lexprod.ML ex/lexprod.thy ex/meson.ML ex/mesontest.ML\
 	   ex/mt.ML ex/mt.thy ex/pl.ML ex/pl.thy ex/puzzle.ML ex/puzzle.thy\
+           ex/qsort.thy ex/qsort.ML\
 	   ex/rec.ML ex/rec.thy ex/rel.ML ex/set.ML ex/simult.ML ex/simult.thy\
 	   ex/term.ML ex/term.thy