equal
deleted
inserted
replaced
3 publisher=Springer,series=LNCS,volume=2283,year=2002, |
3 publisher=Springer,series=LNCS,volume=2283,year=2002, |
4 note={\url{http://www.in.tum.de/~nipkow/LNCS2283/}}} |
4 note={\url{http://www.in.tum.de/~nipkow/LNCS2283/}}} |
5 |
5 |
6 @misc{mathpartir,author={Didier R\'emy},title={mathpartir}, |
6 @misc{mathpartir,author={Didier R\'emy},title={mathpartir}, |
7 note={\url{http://cristal.inria.fr/~remy/latex/}}} |
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 |