Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
doc-src/TutorialI/IsarOverview/Isar/document/root.bib
author nipkow
Mon, 01 Jul 2002 18:10:53 +0200
changeset 13267 502f69ea6627
child 13294 5e2016d151bd
permissions -rw-r--r--
*** empty log message ***
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
13267
502f69ea6627 *** empty log message ***
nipkow
parents:
diff changeset 
     1
 
@phdthesis{Wenzel-PhD,author={Markus Wenzel},title={Isabelle/Isar --- A
502f69ea6627 *** empty log message ***
nipkow
parents:
diff changeset 
     2
 
Versatile Environment for Human-Readable Formal Proof Documents},
502f69ea6627 *** empty log message ***
nipkow
parents:
diff changeset 
     3
 
school={Institut f{\"u}r Informatik, Technische Universit{\"a}t M{\"u}nchen},
502f69ea6627 *** empty log message ***
nipkow
parents:
diff changeset 
     4
 
year=2002}
isabelle