doc-src/Contents
author wenzelm
Wed, 14 Jan 1998 10:28:21 +0100
changeset 4569 4fd775d5456f
parent 3171 d8de47527309
child 5379 69b0c72d70d0
permissions -rw-r--r--
smlnj-110 factory default;

Intro Ref System Logics Inductive AxClass