# HG changeset patch
# User wenzelm
# Date 959004322 -7200
# Node ID 42fd7abde9aa3b4630e5a1bd6197cfa0899c7e76
# Parent  490637ba1d7ff04aff24b12b094dd502572e400a
new Isar version of HOL-AxClasses-Tutorial;

diff -r 490637ba1d7f -r 42fd7abde9aa src/HOL/IsaMakefile
--- 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