Added Example Quot
authorslotosch
Fri Apr 04 16:04:28 1997 +0200 (1997-04-04)
changeset 290922a8a97b66be
parent 2908 b9ba893e72cd
child 2910 905aa895136c
Added Example Quot
CVS ----------------------------------------------------------------------
src/HOL/IsaMakefile
     1.1 --- a/src/HOL/IsaMakefile	Fri Apr 04 16:03:48 1997 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Fri Apr 04 16:04:28 1997 +0200
     1.3 @@ -183,10 +183,11 @@
     1.4  	@$(ISATOOL) usedir -s AxClasses-Tutorial $(OUT)/HOL AxClasses/Tutorial
     1.5  
     1.6  
     1.7 -## Higher-order quotients
     1.8 +## Higher-order quotients and example fractionals
     1.9  
    1.10 -QUOT_FILES = Quot/ROOT.ML
    1.11 -
    1.12 +QUOT_FILES = Quot/ROOT.ML Quot/PER0.thy Quot/PER0.ML Quot/PER.thy Quot/PER.ML \
    1.13 +	Quot/HQUOT.thy Quot/HQUOT.ML Quot/NPAIR.thy Quot/NPAIR.ML \
    1.14 +	Quot/FRACT.thy Quot/FRACT.ML
    1.15  Quot:	$(OUT)/HOL $(QUOT_FILES)
    1.16  	@$(ISATOOL) usedir $(OUT)/HOL Quot
    1.17