src/HOL/IsaMakefile
changeset 2982 85c81d524655
parent 2919 953a47dc0519
child 3025 ab6bcbd130a1
     1.1 --- a/src/HOL/IsaMakefile	Fri Apr 18 11:47:11 1997 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Fri Apr 18 11:47:36 1997 +0200
     1.3 @@ -195,8 +195,8 @@
     1.4  
     1.5  ## Miscellaneous examples
     1.6  
     1.7 -EX_NAMES = String BT Perm Comb InSort Qsort LexProd \
     1.8 -	   Puzzle Mutil Primes NatSum SList LList Acc PropLog Term Simult MT
     1.9 +EX_NAMES = String BT Perm Comb InSort Qsort LexProd Puzzle Mutil \
    1.10 +	   Primes NatSum SList LList LFilter 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)