doc-src/Contents
author wenzelm
Mon May 12 17:26:28 1997 +0200 (1997-05-12)
changeset 3166 de9547d23316
child 3168 480bfa3ede7d
permissions -rw-r--r--
list of manuals to be made automatically;
     1 Intro Ref Logics Inductive