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 11191 a9d7b050b74a
parent 11133 7c66f3dc7d14
child 11193 851c90b23a9e 
--- a/src/HOL/IsaMakefile	Fri Mar 02 13:18:56 2001 +0100
+++ b/src/HOL/IsaMakefile	Fri Mar 02 13:26:55 2001 +0100
@@ -301,7 +301,7 @@
 HOL-Auth: HOL $(LOG)/HOL-Auth.gz
 
 $(LOG)/HOL-Auth.gz: $(OUT)/HOL Auth/Event_lemmas.ML Auth/Event.thy \
-  Auth/Message.ML Auth/Message.thy Auth/NS_Public.thy \
+  Auth/Message_lemmas.ML Auth/Message.thy Auth/NS_Public.thy \
   Auth/NS_Public_Bad.thy \
   Auth/NS_Shared.thy Auth/OtwayRees.ML Auth/OtwayRees.thy \
   Auth/OtwayRees_AN.ML Auth/OtwayRees_AN.thy Auth/OtwayRees_Bad.ML \
isabelle