doc-src/Contents
author wenzelm
Thu, 08 Aug 2002 23:51:24 +0200
changeset 13486 54464ea94d6f
parent 13213 833ffcb2e92d
child 13536 825249a031c3
permissions -rw-r--r--
exception SIMPROC_FAIL: solid error reporting of simprocs;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
13213
833ffcb2e92d IsarTut;
wenzelm
parents: 8752
diff changeset
     1
Intro Ref System Logics HOL ZF Inductive AxClass TutorialI IsarRef IsarTut