# HG changeset patch
# User wenzelm
# Date 863452443 -7200
# Node ID 480bfa3ede7dc21a2c43ffaa8220c90d3a3f4246
# Parent  4e1eae442821189757360699d8bc81e067046bcb
added AxClass;

diff -r 4e1eae442821 -r 480bfa3ede7d doc-src/Contents
--- a/doc-src/Contents	Mon May 12 17:53:36 1997 +0200
+++ b/doc-src/Contents	Mon May 12 17:54:03 1997 +0200
@@ -1,1 +1,1 @@
-Intro Ref Logics Inductive
+Intro Ref Logics Inductive AxClass