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/Auth/README.html
changeset 51404 90a598019aeb
parent 15582 7219facb3fd0 
--- a/src/HOL/Auth/README.html	Tue Mar 12 21:59:48 2013 +0100
+++ b/src/HOL/Auth/README.html	Tue Mar 12 22:22:05 2013 +0100
@@ -1,7 +1,5 @@
 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
 
-<!-- $Id$ -->
-
 <HTML>
 
 <HEAD>
@@ -46,9 +44,6 @@
 <P>Frederic Blanqui has contributed a theory of guardedness, which is
 demonstrated by proofs of some roving agent protocols.
 
-<HR>
-<P>Last modified $Date$
-
 <ADDRESS>
 <A
 HREF="http://www.cl.cam.ac.uk/users/lcp/">Larry Paulson</A>,
isabelle