Modified dependencies for ex and Integ. (Rings)
authornipkow
Fri Nov 29 15:07:27 1996 +0100 (1996-11-29)
changeset 22792f337bf81085
parent 2278 d63ffafce255
child 2280 eb2ba30c2981
Modified dependencies for ex and Integ. (Rings)
src/HOL/Makefile
     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 \