src/HOL/Makefile
changeset 1639 d3484e841d1e
parent 1620 5bddaab64e0a
child 1665 e5737154d9bf
     1.1 --- a/src/HOL/Makefile	Wed Apr 03 20:08:27 1996 +0200
     1.2 +++ b/src/HOL/Makefile	Thu Apr 04 10:24:38 1996 +0200
     1.3 @@ -182,7 +182,7 @@
     1.4  
     1.5  ##Miscellaneous examples
     1.6  EX_NAMES = LexProd MT Acc PropLog Puzzle Mutil Qsort LList Rec Simult Term \
     1.7 -	   String BT Perm
     1.8 +	   String BT Perm Comb
     1.9  
    1.10  EX_FILES = ex/ROOT.ML ex/cla.ML ex/meson.ML ex/mesontest.ML ex/rel.ML \
    1.11             ex/set.ML $(EX_NAMES:%=ex/%.thy) $(EX_NAMES:%=ex/%.ML)