equal
deleted
inserted
replaced
|
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/}}} |
|
5 |
|
6 @misc{mathpartir,author={Didier R\'emy},title={mathpartir}, |
|
7 note={\url{http://cristal.inria.fr/~remy/latex/}}} |
|
8 |
|
9 @misc{tar,author={Gerwin Klein and Norber Schirmer and Tobias Nipkow}, |
|
10 title={{LaTeX} sugar theories and support files}, |
|
11 note={\url{http://isabelle.in.tum.de/sugar.tar.gz}}} |
|
12 |