| author | nipkow |
| Mon, 29 Nov 2004 18:49:35 +0100 | |
| changeset 15342 | 13bd3d12ec2f |
| child 15378 | b1c5add0a65e |
| permissions | -rw-r--r-- |
1 @book{LNCS2283,author={Tobias Nipkow and Lawrence Paulson and Markus Wenzel},
2 title="Isabelle/HOL --- A Proof Assistant for Higher-Order Logic",
3 publisher=Springer,series=LNCS,volume=2283,year=2002,
4 note={\url{http://www.in.tum.de/~nipkow/LNCS2283/}}}
6 @misc{mathpartir,author={Didier R\'emy},title={mathpartir},
7 note={\url{http://cristal.inria.fr/~remy/latex/}}}