doc-src/Contents
author wenzelm
Mon Jul 19 17:07:30 1999 +0200 (1999-07-19)
changeset 7045 d6595926aa10
parent 6586 c07187514ce5
child 8752 4c1a120647b8
permissions -rw-r--r--
added isar-ref;
     1 Intro Ref System Logics HOL ZF Inductive AxClass Tutorial IsarRef