author | nipkow |
Mon, 29 Nov 2004 18:49:35 +0100 | |
changeset 15342 | 13bd3d12ec2f |
child 15378 | b1c5add0a65e |
permissions | -rw-r--r-- |
@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/}}} @misc{mathpartir,author={Didier R\'emy},title={mathpartir}, note={\url{http://cristal.inria.fr/~remy/latex/}}}