doc-src/Contents
author wenzelm
Thu, 01 Jul 1999 21:19:45 +0200
changeset 6874 747f656e04ec
parent 6586 c07187514ce5
child 7045 d6595926aa10
permissions -rw-r--r--
renamed with/APP to of/OF;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
6586
wenzelm
parents: 6122
diff changeset
     1
Intro Ref System Logics HOL ZF Inductive AxClass Tutorial