equal
deleted
inserted
replaced
387 ## HOL-AxClasses-Tutorial |
387 ## HOL-AxClasses-Tutorial |
388 |
388 |
389 HOL-AxClasses-Tutorial: HOL $(LOG)/HOL-AxClasses-Tutorial.gz |
389 HOL-AxClasses-Tutorial: HOL $(LOG)/HOL-AxClasses-Tutorial.gz |
390 |
390 |
391 $(LOG)/HOL-AxClasses-Tutorial.gz: $(OUT)/HOL \ |
391 $(LOG)/HOL-AxClasses-Tutorial.gz: $(OUT)/HOL \ |
392 AxClasses/Tutorial/BoolGroupInsts.thy AxClasses/Tutorial/Group.ML \ |
392 AxClasses/Tutorial/Group.thy AxClasses/Tutorial/Product.thy \ |
393 AxClasses/Tutorial/Group.thy AxClasses/Tutorial/Monoid.thy \ |
393 AxClasses/Tutorial/ROOT.ML AxClasses/Tutorial/Semigroups.thy |
394 AxClasses/Tutorial/MonoidGroupInsts.thy \ |
|
395 AxClasses/Tutorial/ProdGroupInsts.thy AxClasses/Tutorial/Product.thy \ |
|
396 AxClasses/Tutorial/ProductInsts.thy AxClasses/Tutorial/ROOT.ML \ |
|
397 AxClasses/Tutorial/Semigroup.thy AxClasses/Tutorial/Semigroups.thy \ |
|
398 AxClasses/Tutorial/Sigs.thy AxClasses/Tutorial/Xor.ML \ |
|
399 AxClasses/Tutorial/Xor.thy |
|
400 @$(ISATOOL) usedir -s AxClasses-Tutorial $(OUT)/HOL AxClasses/Tutorial |
394 @$(ISATOOL) usedir -s AxClasses-Tutorial $(OUT)/HOL AxClasses/Tutorial |
401 |
395 |
402 |
396 |
403 ## HOL-Quot |
397 ## HOL-Quot |
404 |
398 |