doc-src/Contents
author wenzelm
Wed, 14 Jan 1998 11:22:03 +0100
changeset 4576 be6b5edbca9f
parent 3171 d8de47527309
child 5379 69b0c72d70d0
permissions -rw-r--r--
New Jersey inactive;

Intro Ref System Logics Inductive AxClass