Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/IsaMakefile
changeset 8923 42fd7abde9aa
parent 8912 e9c34ab7d604
child 8934 39d0cc787d47 
--- 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
isabelle