doc-src/Contents
author wenzelm
Fri, 23 May 1997 18:55:28 +0200
changeset 3322 bc4d107fb6dd
parent 3171 d8de47527309
child 5379 69b0c72d70d0
permissions -rw-r--r--
tuned;

Intro Ref System Logics Inductive AxClass