https://isabelle.in.tum.de/repos/isabelle/ en-us isabelle: src/ZF/Coind/README.html history src/ZF/Coind/README.html revision history removed obsolete CVS Ids; https://isabelle.in.tum.de/repos/isabelle/log/952b2b102a0a/src/ZF/Coind/README.html wenzelm Wed, 12 May 2010 14:17:26 +0200 HTML 4.01 Transitional conformity https://isabelle.in.tum.de/repos/isabelle/log/7219facb3fd0/src/ZF/Coind/README.html webertj Mon, 07 Mar 2005 19:17:07 +0100 DOCTYPE declaration added https://isabelle.in.tum.de/repos/isabelle/log/f21466450330/src/ZF/Coind/README.html webertj Sun, 14 Nov 2004 01:40:27 +0100 tuned all READMEs; https://isabelle.in.tum.de/repos/isabelle/log/815ef5848324/src/ZF/Coind/README.html wenzelm Wed, 21 May 1997 17:13:00 +0200 Changed HOL to ZF in title; added address https://isabelle.in.tum.de/repos/isabelle/log/5d531aa23006/src/ZF/Coind/README.html paulson Tue, 05 Mar 1996 17:29:58 +0100 Corrected URL https://isabelle.in.tum.de/repos/isabelle/log/ad47d58ecb37/src/ZF/Coind/README.html paulson Tue, 05 Mar 1996 17:22:47 +0100 New documentation for examples https://isabelle.in.tum.de/repos/isabelle/log/53fe25620a03/src/ZF/Coind/README.html paulson Tue, 05 Mar 1996 16:50:17 +0100