--- a/src/HOL/IsaMakefile Mon May 22 16:04:32 2000 +0200
+++ b/src/HOL/IsaMakefile Mon May 22 16:05:22 2000 +0200
@@ -389,14 +389,8 @@
HOL-AxClasses-Tutorial: HOL $(LOG)/HOL-AxClasses-Tutorial.gz
$(LOG)/HOL-AxClasses-Tutorial.gz: $(OUT)/HOL \
- AxClasses/Tutorial/BoolGroupInsts.thy AxClasses/Tutorial/Group.ML \
- AxClasses/Tutorial/Group.thy AxClasses/Tutorial/Monoid.thy \
- AxClasses/Tutorial/MonoidGroupInsts.thy \
- AxClasses/Tutorial/ProdGroupInsts.thy AxClasses/Tutorial/Product.thy \
- AxClasses/Tutorial/ProductInsts.thy AxClasses/Tutorial/ROOT.ML \
- AxClasses/Tutorial/Semigroup.thy AxClasses/Tutorial/Semigroups.thy \
- AxClasses/Tutorial/Sigs.thy AxClasses/Tutorial/Xor.ML \
- AxClasses/Tutorial/Xor.thy
+ AxClasses/Tutorial/Group.thy AxClasses/Tutorial/Product.thy \
+ AxClasses/Tutorial/ROOT.ML AxClasses/Tutorial/Semigroups.thy
@$(ISATOOL) usedir -s AxClasses-Tutorial $(OUT)/HOL AxClasses/Tutorial