equal
deleted
inserted
replaced
257 AxClasses/Lattice/LatMorph.thy AxClasses/Lattice/LatPreInsts.ML \ |
257 AxClasses/Lattice/LatMorph.thy AxClasses/Lattice/LatPreInsts.ML \ |
258 AxClasses/Lattice/LatPreInsts.thy AxClasses/Lattice/Lattice.ML \ |
258 AxClasses/Lattice/LatPreInsts.thy AxClasses/Lattice/Lattice.ML \ |
259 AxClasses/Lattice/Lattice.thy AxClasses/Lattice/OrdDefs.ML \ |
259 AxClasses/Lattice/Lattice.thy AxClasses/Lattice/OrdDefs.ML \ |
260 AxClasses/Lattice/OrdDefs.thy AxClasses/Lattice/OrdInsts.thy \ |
260 AxClasses/Lattice/OrdDefs.thy AxClasses/Lattice/OrdInsts.thy \ |
261 AxClasses/Lattice/Order.ML AxClasses/Lattice/Order.thy \ |
261 AxClasses/Lattice/Order.ML AxClasses/Lattice/Order.thy \ |
262 AxClasses/Lattice/ROOT.ML AxClasses/Lattice/tools.ML |
262 AxClasses/Lattice/ROOT.ML |
263 @$(ISATOOL) usedir -s AxClasses-Lattice $(OUT)/HOL AxClasses/Lattice |
263 @$(ISATOOL) usedir -s AxClasses-Lattice $(OUT)/HOL AxClasses/Lattice |
264 |
264 |
265 |
265 |
266 ## HOL-AxClasses-Tutorial |
266 ## HOL-AxClasses-Tutorial |
267 |
267 |