equal
deleted
inserted
replaced
1824 @misc{weidenbach-et-al-2009, |
1824 @misc{weidenbach-et-al-2009, |
1825 author = "Christoph Weidenbach and Dilyana Dimova and Arnaud Fietzke and Rohit Kumar and Martin Suda and Patrick Wischnewski", |
1825 author = "Christoph Weidenbach and Dilyana Dimova and Arnaud Fietzke and Rohit Kumar and Martin Suda and Patrick Wischnewski", |
1826 title = "{SPASS} Version 3.5", |
1826 title = "{SPASS} Version 3.5", |
1827 note = {\url{http://www.spass-prover.org/publications/spass.pdf}}} |
1827 note = {\url{http://www.spass-prover.org/publications/spass.pdf}}} |
1828 |
1828 |
1829 @manual{isabelle-sys, |
1829 @manual{isabelle-system, |
1830 author = {Makarius Wenzel and Stefan Berghofer}, |
1830 author = {Makarius Wenzel and Stefan Berghofer}, |
1831 title = {The {Isabelle} System Manual}, |
1831 title = {The {Isabelle} System Manual}, |
1832 institution = {TU Munich}, |
1832 institution = {TU Munich}, |
1833 note = {\url{http://isabelle.in.tum.de/doc/system.pdf}}} |
1833 note = {\url{http://isabelle.in.tum.de/doc/system.pdf}}} |
1834 |
1834 |