src/HOL/Makefile
changeset 1797 334308d2afbc
parent 1699 0bcc8cab3461
child 1862 74d4ae2f6fc3
     1.1 --- a/src/HOL/Makefile	Fri Jun 14 12:22:59 1996 +0200
     1.2 +++ b/src/HOL/Makefile	Fri Jun 14 12:23:31 1996 +0200
     1.3 @@ -181,8 +181,8 @@
     1.4          fi
     1.5  
     1.6  ##Miscellaneous examples
     1.7 -EX_NAMES = LexProd MT Acc PropLog Puzzle Mutil Qsort LList Rec Simult Term \
     1.8 -	   String BT Perm Comb
     1.9 +EX_NAMES = String BT Perm Comb InSort Qsort LexProd Puzzle Mutil \
    1.10 +            Primes NatSum SList LList Acc PropLog Term Simult MT	    
    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)