doc-src/Contents
changeset 3171 d8de47527309
parent 3168 480bfa3ede7d
child 5379 69b0c72d70d0
equal deleted inserted replaced
3170:0b3ff84bab29 3171:d8de47527309
     1 Intro Ref Logics Inductive AxClass
     1 Intro Ref System Logics Inductive AxClass