doc-src/Contents
author kleing
Mon, 29 Mar 2004 08:59:58 +0200
changeset 14492 a340f6e6f481
parent 14000 04767fa54b71
child 14588 29311d81954e
permissions -rw-r--r--
removed intro to isabelle
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
14492
a340f6e6f481 removed intro to isabelle
kleing
parents: 14000
diff changeset
     1
Ref System Logics HOL ZF Inductive AxClass TutorialI IsarOverview IsarRef Exercises