1.1 --- a/src/ZF/Makefile	Fri Apr 14 11:26:22 1995 +0200
     1.2 +++ b/src/ZF/Makefile	Fri Apr 14 11:27:18 1995 +0200
     1.3 @@ -78,6 +78,17 @@
     1.4  AC:  $(BIN)/ZF  $(AC_FILES)
     1.5  	echo 'exit_use"AC/ROOT.ML";quit();' | $(LOGIC)
     1.6  
     1.7 +##Residuals example
     1.8 +
     1.9 +RESID_NAMES = Confluence Redex SubUnion Conversion Reduction Substitution \
    1.10 +              Cube Residuals Terms
    1.11 +
    1.12 +RESID_FILES = Resid/ROOT.ML $(RESID_NAMES:%=Resid/%.thy) \
    1.13 +                            $(RESID_NAMES:%=Resid/%.ML)
    1.14 +
    1.15 +Resid:  $(BIN)/ZF  $(RESID_FILES)
    1.16 +	echo 'exit_use"Resid/ROOT.ML";quit();' | $(LOGIC)
    1.17 +
    1.18  ##Miscellaneous examples
    1.19  EX_NAMES = Ramsey Integ twos_compl Bin BT Term TF Ntree Brouwer Data Enum \
    1.20  	   Rmap PropLog ListN Acc Comb Primrec LList CoUnit 
    1.21 @@ -89,7 +100,7 @@
    1.22  	echo 'exit_use"ex/ROOT.ML";quit();' | $(LOGIC)
    1.23  
    1.24  #Full test.
    1.25 -test:   $(BIN)/ZF IMP Coind AC ex
    1.26 +test:   $(BIN)/ZF IMP Coind AC Resid ex
    1.27  	echo 'Test examples ran successfully' > test
    1.28  
    1.29  .PRECIOUS:  $(BIN)/FOL $(BIN)/ZF