Mercurial Mercurial > wneuper > isa / file revision
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
doc-src/Contents
author wenzelm
Tue, 12 Feb 2002 20:32:23 +0100
changeset 12878 2896f88180b9
parent 8752 4c1a120647b8
child 13213 833ffcb2e92d
permissions -rw-r--r--
added isabelle-hol-book;
added tphols2001;
tuned tphols2000; 
     1 Intro Ref System Logics HOL ZF Inductive AxClass TutorialI IsarRef
wneuper/isa