src/HOL/Makefile
changeset 2279 2f337bf81085
parent 2274 1b1b46adc9b3
child 2329 55060cfeda1b
     1.1 --- a/src/HOL/Makefile	Fri Nov 29 12:22:22 1996 +0100
     1.2 +++ b/src/HOL/Makefile	Fri Nov 29 15:07:27 1996 +0100
     1.3 @@ -98,7 +98,7 @@
     1.4  	fi
     1.5  
     1.6  ##The integers in HOL
     1.7 -INTEG_NAMES = Equiv Integ 
     1.8 +INTEG_NAMES = Equiv Integ Group Ring Lagrange IntRingDefs IntRing
     1.9  
    1.10  INTEG_FILES = Integ/ROOT.ML \
    1.11  	      $(INTEG_NAMES:%=Integ/%.thy) $(INTEG_NAMES:%=Integ/%.ML)
    1.12 @@ -198,7 +198,7 @@
    1.13  	fi
    1.14  
    1.15  ##Miscellaneous examples
    1.16 -EX_NAMES = String BT Perm Comb InSort Qsort LexProd Group Ring Lagrange \
    1.17 +EX_NAMES = String BT Perm Comb InSort Qsort LexProd \
    1.18  	   Puzzle Mutil Primes NatSum SList LList Acc PropLog Term Simult MT
    1.19  
    1.20  EX_FILES = ex/ROOT.ML ex/cla.ML ex/meson.ML ex/mesontest.ML ex/rel.ML \