# HG changeset patch # User paulson # Date 826043398 -3600 # Node ID 5d531aa230065a155ca1478b36a1ace7643deeee # Parent 61f5410b2824b88f45119b12f44e407d36df1bb7 Changed HOL to ZF in title; added address diff -r 61f5410b2824 -r 5d531aa23006 src/ZF/AC/README.html --- 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 @@ -HOL/AC +ZF/AC

AC -- Equivalents of the Axiom of Choice

@@ -22,3 +22,8 @@

Last modified 5 March 1996 + +

+

Lawrence C. Paulson / +lcp@cl.cam.ac.uk +

diff -r 61f5410b2824 -r 5d531aa23006 src/ZF/Coind/README.html --- 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 @@ -HOL/Coind +ZF/Coind

Coind -- A Coinduction Example

@@ -31,3 +31,8 @@

Last modified 5 March 1996 + +

+

Lawrence C. Paulson / +lcp@cl.cam.ac.uk +

diff -r 61f5410b2824 -r 5d531aa23006 src/ZF/IMP/README.html --- 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 @@ -HOL/IMP +ZF/IMP

IMP -- A while-language and two semantics

@@ -27,3 +27,12 @@

Last modified 5 March 1996 + +

+

Lawrence C. Paulson / +lcp@cl.cam.ac.uk + +

+Tobias Nipkow / Tobias.Nipkow@informatik.tu-muenchen.de +

diff -r 61f5410b2824 -r 5d531aa23006 src/ZF/Resid/README.html --- 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 @@ -HOL/Resid +ZF/Resid

Resid -- A theory of residuals

@@ -26,3 +26,8 @@

Last modified 5 March 1996 + +

+

Lawrence C. Paulson / +lcp@cl.cam.ac.uk +