# HG changeset patch
# User paulson
# Date 827948845 -3600
# Node ID 5bddaab64e0a99d52e83cac7f321fedd29dde5d4
# Parent  cb62d89b7adb6c430db24e4d99e5bd5879f536bd
Added Mutil to ex targets

diff -r cb62d89b7adb -r 5bddaab64e0a src/HOL/Makefile
--- a/src/HOL/Makefile	Wed Mar 27 18:46:42 1996 +0100
+++ b/src/HOL/Makefile	Wed Mar 27 18:47:25 1996 +0100
@@ -181,8 +181,8 @@
         fi
 
 ##Miscellaneous examples
-EX_NAMES = LexProd MT Acc PropLog Puzzle Qsort LList Rec Simult Term String \
-	   BT Perm
+EX_NAMES = LexProd MT Acc PropLog Puzzle Mutil Qsort LList Rec Simult Term \
+	   String BT Perm
 
 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)