# HG changeset patch
# User paulson
# Date 916241882 -3600
# Node ID ebbea9e7aa9e660a88f6d902191b04d448d158ee
# Parent  5fe77b9b51857ec61ba90f26b8e2138b0a5c194d
new manual ZF

diff -r 5fe77b9b5185 -r ebbea9e7aa9e doc-src/Contents
--- a/doc-src/Contents	Wed Jan 13 16:36:36 1999 +0100
+++ b/doc-src/Contents	Wed Jan 13 16:38:02 1999 +0100
@@ -1,1 +1,1 @@
-Intro Ref System Logics Inductive AxClass Tutorial
+Intro Ref System Logics ZF Inductive AxClass Tutorial