Added Mutil to ex targets
authorpaulson
Wed Mar 27 18:47:25 1996 +0100 (1996-03-27)
changeset 16205bddaab64e0a
parent 1619 cb62d89b7adb
child 1621 d92f42acdb26
Added Mutil to ex targets
src/HOL/Makefile
     1.1 --- a/src/HOL/Makefile	Wed Mar 27 18:46:42 1996 +0100
     1.2 +++ b/src/HOL/Makefile	Wed Mar 27 18:47:25 1996 +0100
     1.3 @@ -181,8 +181,8 @@
     1.4          fi
     1.5  
     1.6  ##Miscellaneous examples
     1.7 -EX_NAMES = LexProd MT Acc PropLog Puzzle Qsort LList Rec Simult Term String \
     1.8 -	   BT Perm
     1.9 +EX_NAMES = LexProd MT Acc PropLog Puzzle Mutil Qsort LList Rec Simult Term \
    1.10 +	   String BT Perm
    1.11  
    1.12  EX_FILES = ex/ROOT.ML ex/cla.ML ex/meson.ML ex/mesontest.ML ex/rel.ML \
    1.13             ex/set.ML $(EX_NAMES:%=ex/%.thy) $(EX_NAMES:%=ex/%.ML)