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 14569 78b75a9eec01
parent 14551 2cb6ff394bfb
child 14578 1f3f7e58b195 
--- a/src/HOL/IsaMakefile	Thu Apr 15 13:04:50 2004 +0200
+++ b/src/HOL/IsaMakefile	Thu Apr 15 14:17:45 2004 +0200
@@ -583,7 +583,8 @@
 HOL-ex: HOL $(LOG)/HOL-ex.gz
 
 $(LOG)/HOL-ex.gz: $(OUT)/HOL ex/Antiquote.thy \
-  ex/BT.thy ex/BinEx.thy ex/Group.ML ex/Group.thy ex/Higher_Order_Logic.thy \
+  ex/BT.thy ex/BinEx.thy ex/Exceptions.thy \
+  ex/Group.ML ex/Group.thy ex/Higher_Order_Logic.thy \
   ex/Hilbert_Classical.thy ex/InSort.thy ex/IntRing.ML \
   ex/InductiveInvariant.thy  ex/InductiveInvariant_examples.thy\
   ex/IntRing.thy ex/Intuitionistic.thy \
isabelle