equal
deleted
inserted
replaced
181 @$(ISATOOL) usedir -s AxClasses-Group $(OUT)/HOL AxClasses/Group |
181 @$(ISATOOL) usedir -s AxClasses-Group $(OUT)/HOL AxClasses/Group |
182 @$(ISATOOL) usedir -s AxClasses-Lattice $(OUT)/HOL AxClasses/Lattice |
182 @$(ISATOOL) usedir -s AxClasses-Lattice $(OUT)/HOL AxClasses/Lattice |
183 @$(ISATOOL) usedir -s AxClasses-Tutorial $(OUT)/HOL AxClasses/Tutorial |
183 @$(ISATOOL) usedir -s AxClasses-Tutorial $(OUT)/HOL AxClasses/Tutorial |
184 |
184 |
185 |
185 |
186 ## Higher-order quotients |
186 ## Higher-order quotients and example fractionals |
187 |
187 |
188 QUOT_FILES = Quot/ROOT.ML |
188 QUOT_FILES = Quot/ROOT.ML Quot/PER0.thy Quot/PER0.ML Quot/PER.thy Quot/PER.ML \ |
189 |
189 Quot/HQUOT.thy Quot/HQUOT.ML Quot/NPAIR.thy Quot/NPAIR.ML \ |
|
190 Quot/FRACT.thy Quot/FRACT.ML |
190 Quot: $(OUT)/HOL $(QUOT_FILES) |
191 Quot: $(OUT)/HOL $(QUOT_FILES) |
191 @$(ISATOOL) usedir $(OUT)/HOL Quot |
192 @$(ISATOOL) usedir $(OUT)/HOL Quot |
192 |
193 |
193 |
194 |
194 ## Miscellaneous examples |
195 ## Miscellaneous examples |