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 5712 18f1c2501343
parent 5699 5b9a359e083c
child 5740 3a466866f7b9 
--- a/src/HOL/IsaMakefile	Wed Oct 21 16:06:09 1998 +0200
+++ b/src/HOL/IsaMakefile	Wed Oct 21 16:34:18 1998 +0200
@@ -259,7 +259,7 @@
   AxClasses/Lattice/Lattice.thy AxClasses/Lattice/OrdDefs.ML \
   AxClasses/Lattice/OrdDefs.thy AxClasses/Lattice/OrdInsts.thy \
   AxClasses/Lattice/Order.ML AxClasses/Lattice/Order.thy \
-  AxClasses/Lattice/ROOT.ML AxClasses/Lattice/tools.ML
+  AxClasses/Lattice/ROOT.ML
 	@$(ISATOOL) usedir -s AxClasses-Lattice $(OUT)/HOL AxClasses/Lattice
isabelle