equal
deleted
inserted
replaced
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 |
8 |
9 @misc{tar,author={Gerwin Klein and Norber Schirmer and Tobias Nipkow}, |
9 @misc{tar,author={Gerwin Klein and Norber Schirmer and Tobias Nipkow}, |
10 title={{LaTeX} sugar theories and support files}, |
10 title={{LaTeX} sugar theories and support files}, |
11 note={\url{http://isabelle.in.tum.de/sugar.tar.gz}}} |
11 note={\url{https://isabelle.in.tum.de/sugar.tar.gz}}} |
12 |
12 |