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/LaTeXsugar/Sugar/document/root.bib
author nipkow
Mon, 29 Nov 2004 18:49:35 +0100
changeset 15342 13bd3d12ec2f
child 15378 b1c5add0a65e
permissions -rw-r--r--
*** empty log message ***
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
15342
13bd3d12ec2f *** empty log message ***
nipkow
parents:
diff changeset 
     1
 
@book{LNCS2283,author={Tobias Nipkow and Lawrence Paulson and Markus Wenzel},
13bd3d12ec2f *** empty log message ***
nipkow
parents:
diff changeset 
     2
 
title="Isabelle/HOL --- A Proof Assistant for Higher-Order Logic",
13bd3d12ec2f *** empty log message ***
nipkow
parents:
diff changeset 
     3
 
publisher=Springer,series=LNCS,volume=2283,year=2002,
13bd3d12ec2f *** empty log message ***
nipkow
parents:
diff changeset 
     4
 
note={\url{http://www.in.tum.de/~nipkow/LNCS2283/}}}
13bd3d12ec2f *** empty log message ***
nipkow
parents:
diff changeset 
     5
 












13bd3d12ec2f
*** empty log message ***



nipkow


parents: 

diff
changeset




     6


@misc{mathpartir,author={Didier R\'emy},title={mathpartir},













13bd3d12ec2f
*** empty log message ***



nipkow


parents: 

diff
changeset




     7


note={\url{http://cristal.inria.fr/~remy/latex/}}}














isabelle