Mercurial Mercurial > wneuper > isa / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
doc-src/Contents
author nipkow
Sat, 08 Jan 2005 09:30:16 +0100
changeset 15429 b08a5eaf22e3
parent 15290 ed793a2f3f35
child 15729 63915e6e5775
permissions -rw-r--r--
new citation
kleing@15290 
     1
 
Ref System Logics HOL ZF Inductive AxClass TutorialI IsarOverview IsarRef Locales
wneuper/isa