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 19802 c2860c37e574
parent 19801 b2af2549efd1
child 19803 aa2581752afb 
--- a/src/HOL/IsaMakefile	Wed Jun 07 00:57:14 2006 +0200
+++ b/src/HOL/IsaMakefile	Wed Jun 07 01:06:53 2006 +0200
@@ -345,7 +345,7 @@
 
 HOL-Hoare: HOL $(LOG)/HOL-Hoare.gz
 
-$(LOG)/HOL-Hoare.gz: $(OUT)/HOL Hoare/Arith2.ML Hoare/Arith2.thy \
+$(LOG)/HOL-Hoare.gz: $(OUT)/HOL Hoare/Arith2.thy \
   Hoare/Examples.thy Hoare/hoare.ML Hoare/Hoare.thy \
   Hoare/Heap.thy Hoare/HeapSyntax.thy Hoare/Pointer_Examples.thy \
   Hoare/ROOT.ML Hoare/ExamplesAbort.thy  Hoare/HeapSyntaxAbort.thy \
isabelle