doc-src/Contents
author wenzelm
Mon May 12 18:34:34 1997 +0200 (1997-05-12)
changeset 3171 d8de47527309
parent 3168 480bfa3ede7d
child 5379 69b0c72d70d0
permissions -rw-r--r--
added System;
wenzelm@3171
     1
Intro Ref System Logics Inductive AxClass