Updated list of theories for target ex
authorpaulson
Fri Jun 14 12:23:31 1996 +0200 (1996-06-14)
changeset 1797334308d2afbc
parent 1796 c42db9ab8728
child 1798 c055505f36d1
Updated list of theories for target ex
src/HOL/Makefile
     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)