# HG changeset patch
# User paulson
# Date 826043848 -3600
# Node ID 9ee49b349bb4a8d81f06a1f7b27a3ab828c6a6fd
# Parent 5d531aa230065a155ca1478b36a1ace7643deeee
New documentation for example
diff -r 5d531aa23006 -r 9ee49b349bb4 src/ZF/ex/README.html
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/src/ZF/ex/README.html Tue Mar 05 17:37:28 1996 +0100
@@ -0,0 +1,20 @@
+
+ZF/ex
+
+ZF general examples
+
+Examples on this directory include a simple form of Ramsey's theorem. A
+report
+is available.
+
+
Several (co)inductive and (co)datatype definitions are presented. One report describes the theoretical foundations of datatypes while another describes the package that automates their declaration.
+
+
+
+Last modified 5 March 1996
+
+
+Lawrence C. Paulson /
+lcp@cl.cam.ac.uk
+