# HG changeset patch
# User wenzelm
# Date 863450788 -7200
# Node ID de9547d2331688d4b9cbfdafcf944646f89a7cac
# Parent  80818995eb76afe6db2e13d310d534330e14fe51
list of manuals to be made automatically;

diff -r 80818995eb76 -r de9547d23316 doc-src/Contents
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/doc-src/Contents	Mon May 12 17:26:28 1997 +0200
@@ -0,0 +1,1 @@
+Intro Ref Logics Inductive