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 wenzelm
Mon, 16 Mar 2009 23:52:30 +0100
changeset 30554 73f8bd5f0af8
parent 13439 2f98365f57a8
permissions -rw-r--r--
substantial speedup of assumption and elim-resolution: Logic.assum_problems refrains from eager application of parameters, discriminate via Term.could_unify before invoking full unification (assumes terms in beta-normal form, as do higher term net operations anyway);
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