| author | wenzelm |
| Sat, 04 Sep 2010 00:59:03 +0200 | |
| changeset 39130 | 12dac4b58df8 |
| parent 13439 | 2f98365f57a8 |
| 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/}}}