author | nipkow |
Wed, 31 Jul 2002 17:42:38 +0200 | |
changeset 13439 | 2f98365f57a8 |
parent 13262 | bbfc360db011 |
permissions | -rw-r--r-- |
@string{LNCS="Lect.\ Notes in Comp.\ Sci."} @string{Springer="Springer-Verlag"} @book{LNCS2283,author={Tobias Nipkow and Lawrence Paulson and Markus Wenzel}, title="Isabelle/HOL --- A Proof Assistant for Higher-Order Logic", publisher=Springer,series=LNCS,volume=2283,year=2002, note={\url{http://www.in.tum.de/~nipkow/LNCS2283/}}}