Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Changed HOL to ZF in title; added address
authorpaulson
Tue, 05 Mar 1996 17:29:58 +0100
changeset 1546 5d531aa23006
parent 1545 61f5410b2824
child 1547 9ee49b349bb4
Changed HOL to ZF in title; added address
src/ZF/AC/README.html file | annotate | diff | comparison | revisions
src/ZF/Coind/README.html file | annotate | diff | comparison | revisions
src/ZF/IMP/README.html file | annotate | diff | comparison | revisions
src/ZF/Resid/README.html file | annotate | diff | comparison | revisions 
--- a/src/ZF/AC/README.html	Tue Mar 05 17:23:21 1996 +0100
+++ b/src/ZF/AC/README.html	Tue Mar 05 17:29:58 1996 +0100
@@ -1,5 +1,5 @@
 <!-- $Id$ -->
-<HTML><HEAD><TITLE>HOL/AC</TITLE></HEAD><BODY>
+<HTML><HEAD><TITLE>ZF/AC</TITLE></HEAD><BODY>
 
 <H2>AC -- Equivalents of the Axiom of Choice</H2>
 
@@ -22,3 +22,8 @@
 <HR>
 
 <P>Last modified 5 March 1996
+
+<ADDRESS>
+<P><A HREF="http://www.cl.cam.ac.uk/users/lcp/">Lawrence C. Paulson</A> /
+<A NAME="lcp@cl.cam.ac.uk" HREF="mailto:lcp@cl.cam.ac.uk">lcp@cl.cam.ac.uk</A>
+</ADDRESS>
--- a/src/ZF/Coind/README.html	Tue Mar 05 17:23:21 1996 +0100
+++ b/src/ZF/Coind/README.html	Tue Mar 05 17:29:58 1996 +0100
@@ -1,5 +1,5 @@
 <!-- $Id$ -->
-<HTML><HEAD><TITLE>HOL/Coind</TITLE></HEAD><BODY>
+<HTML><HEAD><TITLE>ZF/Coind</TITLE></HEAD><BODY>
 
 <H2>Coind -- A Coinduction Example</H2>
 
@@ -31,3 +31,8 @@
 <HR>
 
 <P>Last modified 5 March 1996
+
+<ADDRESS>
+<P><A HREF="http://www.cl.cam.ac.uk/users/lcp/">Lawrence C. Paulson</A> /
+<A NAME="lcp@cl.cam.ac.uk" HREF="mailto:lcp@cl.cam.ac.uk">lcp@cl.cam.ac.uk</A>
+</ADDRESS>
--- a/src/ZF/IMP/README.html	Tue Mar 05 17:23:21 1996 +0100
+++ b/src/ZF/IMP/README.html	Tue Mar 05 17:29:58 1996 +0100
@@ -1,5 +1,5 @@
 <!-- $Id$ -->
-<HTML><HEAD><TITLE>HOL/IMP</TITLE></HEAD><BODY>
+<HTML><HEAD><TITLE>ZF/IMP</TITLE></HEAD><BODY>
 
 <H2>IMP -- A <KBD>while</KBD>-language and two semantics</H2>
 
@@ -27,3 +27,12 @@
 <HR>
 
 <P>Last modified 5 March 1996
+
+<ADDRESS>
+<P><A HREF="http://www.cl.cam.ac.uk/users/lcp/">Lawrence C. Paulson</A> /
+<A NAME="lcp@cl.cam.ac.uk" HREF="mailto:lcp@cl.cam.ac.uk">lcp@cl.cam.ac.uk</A>
+
+<P>
+<A HREF="http://www4.informatik.tu-muenchen.de/~nipkow/">Tobias Nipkow</A> / <A NAME="Tobias.Nipkow@informatik.tu-muenchen.de" 
+          HREF="mailto:Tobias.Nipkow@informatik.tu-muenchen.de">Tobias.Nipkow@informatik.tu-muenchen.de</A>
+</ADDRESS>
--- a/src/ZF/Resid/README.html	Tue Mar 05 17:23:21 1996 +0100
+++ b/src/ZF/Resid/README.html	Tue Mar 05 17:29:58 1996 +0100
@@ -1,5 +1,5 @@
 <!-- $Id$ -->
-<HTML><HEAD><TITLE>HOL/Resid</TITLE></HEAD><BODY>
+<HTML><HEAD><TITLE>ZF/Resid</TITLE></HEAD><BODY>
 
 <H2>Resid -- A theory of residuals</H2>
 
@@ -26,3 +26,8 @@
 <HR>
 
 <P>Last modified 5 March 1996
+
+<ADDRESS>
+<P><A HREF="http://www.cl.cam.ac.uk/users/lcp/">Lawrence C. Paulson</A> /
+<A NAME="lcp@cl.cam.ac.uk" HREF="mailto:lcp@cl.cam.ac.uk">lcp@cl.cam.ac.uk</A>
+</ADDRESS>
isabelle