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/Overview/LNCS/document/root.bib
author huffman
Fri, 03 Dec 2010 10:03:13 +0100
changeset 40929 7ff03a5e044f
parent 13439 2f98365f57a8
permissions -rw-r--r--
theorem names generated by the (rep_)datatype command now have mandatory qualifiers
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
13262
bbfc360db011 *** empty log message ***
nipkow
parents:
diff changeset 
     1
 
@string{LNCS="Lect.\ Notes in Comp.\ Sci."}
bbfc360db011 *** empty log message ***
nipkow
parents:
diff changeset 
     2
 
@string{Springer="Springer-Verlag"}
bbfc360db011 *** empty log message ***
nipkow
parents:
diff changeset 
     3
 












bbfc360db011
*** empty log message ***



nipkow


parents: 

diff
changeset




     4


@book{LNCS2283,author={Tobias Nipkow and Lawrence Paulson and Markus Wenzel},













bbfc360db011
*** empty log message ***



nipkow


parents: 

diff
changeset




     5


title="Isabelle/HOL --- A Proof Assistant for Higher-Order Logic",








13439






2f98365f57a8
*** empty log message ***



nipkow


parents: 
13262

diff
changeset




     6


publisher=Springer,series=LNCS,volume=2283,year=2002,













2f98365f57a8
*** empty log message ***



nipkow


parents: 
13262

diff
changeset




     7


note={\url{http://www.in.tum.de/~nipkow/LNCS2283/}}}















isabelle