Moved Relation from Integ to main HOL.
authornipkow
Sat May 27 16:10:10 1995 +0200 (1995-05-27)
changeset 1129866fff857626
parent 1128 64b30e3cc6d4
child 1130 0df0df1685a8
Moved Relation from Integ to main HOL.
src/HOL/Makefile
     1.1 --- a/src/HOL/Makefile	Fri May 26 18:11:47 1995 +0200
     1.2 +++ b/src/HOL/Makefile	Sat May 27 16:10:10 1995 +0200
     1.3 @@ -18,7 +18,7 @@
     1.4  
     1.5  BIN = $(ISABELLEBIN)
     1.6  COMP = $(ISABELLECOMP)
     1.7 -NAMES = HOL Ord Set Fun subset equalities Prod Trancl Sum WF \
     1.8 +NAMES = HOL Ord Set Fun subset equalities Prod Relation Trancl Sum WF \
     1.9         mono Lfp Gfp Nat Inductive Finite Arith Sexp Univ List 
    1.10  
    1.11  FILES = ROOT.ML add_ind_def.ML datatype.ML hologic.ML\
    1.12 @@ -64,7 +64,7 @@
    1.13  	echo 'exit_use"IMP/ROOT.ML";quit();' | $(LOGIC)
    1.14  
    1.15  ##The integers in CHOL
    1.16 -INTEG_NAMES = Relation Equiv Integ 
    1.17 +INTEG_NAMES = Equiv Integ 
    1.18  
    1.19  INTEG_FILES = Integ/ROOT.ML \
    1.20                $(INTEG_NAMES:%=Integ/%.thy) $(INTEG_NAMES:%=Integ/%.ML)