doc-src/Contents
author wenzelm
Wed, 26 Aug 1998 16:33:29 +0200
changeset 5374 6ef3742b6153
parent 3171 d8de47527309
child 5379 69b0c72d70d0
permissions -rw-r--r--
moved images to gfx dir;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
3171
d8de47527309 added System;
wenzelm
parents: 3168
diff changeset
     1
Intro Ref System Logics Inductive AxClass