src/HOL/Makefile
changeset 1174 e57a93d41de0
parent 1164 8e969adf64d6
child 1253 131f72e2cd56
     1.1 --- a/src/HOL/Makefile	Fri Jun 30 11:34:14 1995 +0200
     1.2 +++ b/src/HOL/Makefile	Fri Jun 30 11:39:20 1995 +0200
     1.3 @@ -108,7 +108,8 @@
     1.4  	echo 'exit_use"Lambda/ROOT.ML";quit();' | $(LOGIC)
     1.5  
     1.6  ##Miscellaneous examples
     1.7 -EX_NAMES = LexProd MT Acc PropLog Puzzle Qsort LList Rec Simult Term String 
     1.8 +EX_NAMES = LexProd MT Acc PropLog Puzzle Qsort LList Rec Simult Term String \
     1.9 +	   BT Perm
    1.10  
    1.11  EX_FILES = ex/ROOT.ML ex/cla.ML ex/meson.ML ex/mesontest.ML ex/rel.ML \
    1.12             ex/set.ML $(EX_NAMES:%=ex/%.thy) $(EX_NAMES:%=ex/%.ML)