isabelle: src/Doc/Sugar/document/root.bib@4b875a4c83b0 (annotated)

15342 13bd3d12ec2f * empty log message * nipkow parents: diff changeset	1	@book{LNCS2283,author={Tobias Nipkow and Lawrence Paulson and Markus Wenzel},
13bd3d12ec2f * empty log message * nipkow parents: diff changeset	2	title="Isabelle/HOL --- A Proof Assistant for Higher-Order Logic",
13bd3d12ec2f * empty log message * nipkow parents: diff changeset	3	publisher=Springer,series=LNCS,volume=2283,year=2002,
13bd3d12ec2f * empty log message * nipkow parents: diff changeset	4	note={\url{http://www.in.tum.de/~nipkow/LNCS2283/}}}
13bd3d12ec2f * empty log message * nipkow parents: diff changeset	5
13bd3d12ec2f * empty log message * nipkow parents: diff changeset	6	@misc{mathpartir,author={Didier R\'emy},title={mathpartir},
15378 b1c5add0a65e link to tar.gz kleing parents: 15342 diff changeset	7	note={\url{http://cristal.inria.fr/~remy/latex/}}}
b1c5add0a65e link to tar.gz kleing parents: 15342 diff changeset	8
b1c5add0a65e link to tar.gz kleing parents: 15342 diff changeset	9	@misc{tar,author={Gerwin Klein and Norber Schirmer and Tobias Nipkow},
b1c5add0a65e link to tar.gz kleing parents: 15342 diff changeset	10	title={{LaTeX} sugar theories and support files},
68649 f849fc1cb65e prefer HTTPS; wenzelm parents: 56420 diff changeset	11	note={\url{https://isabelle.in.tum.de/sugar.tar.gz}}}
15378 b1c5add0a65e link to tar.gz kleing parents: 15342 diff changeset	12