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 10985 65a8a0e2d55b
parent 10981 8d37c8befbe6
child 11024 23bf8d787b04 
--- a/src/HOL/IsaMakefile	Fri Jan 26 15:50:52 2001 +0100
+++ b/src/HOL/IsaMakefile	Sun Jan 28 16:46:19 2001 +0100
@@ -182,7 +182,7 @@
   Library/Quotient.thy Library/Ring_and_Field.thy \
   Library/Ring_and_Field_Example.thy Library/README.html \
   Library/Nested_Environment.thy Library/Rational_Numbers.thy Library/ROOT.ML \
-  Library/While_Combinator.thy Library/While_Combinator_Example.thy
+  Library/While_Combinator.thy
 	@$(ISATOOL) usedir $(OUT)/HOL Library
isabelle