doc-src/Contents
author wenzelm
Thu, 17 Jul 1997 15:03:38 +0200
changeset 3524 c02cb15830de
parent 3171 d8de47527309
child 5379 69b0c72d70d0
permissions -rw-r--r--
fixed EqI meta rule;

Intro Ref System Logics Inductive AxClass