1906 author = "Christoph Weidenbach and Dilyana Dimova and Arnaud Fietzke and Rohit Kumar and Martin Suda and Patrick Wischnewski", |
1906 author = "Christoph Weidenbach and Dilyana Dimova and Arnaud Fietzke and Rohit Kumar and Martin Suda and Patrick Wischnewski", |
1907 title = "{SPASS} Version 3.5", |
1907 title = "{SPASS} Version 3.5", |
1908 note = {\url{http://www.spass-prover.org/publications/spass.pdf}}} |
1908 note = {\url{http://www.spass-prover.org/publications/spass.pdf}}} |
1909 |
1909 |
1910 @manual{isabelle-system, |
1910 @manual{isabelle-system, |
1911 author = {Makarius Wenzel and Stefan Berghofer}, |
1911 author = {Makarius Wenzel}, |
1912 title = {The {Isabelle} System Manual}, |
1912 title = {The {Isabelle} System Manual}, |
1913 institution = {TU Munich}, |
1913 note = {\url{http://isabelle.in.tum.de/doc/system.pdf}}} |
1914 note = {\url{http://isabelle.in.tum.de/doc/system.pdf}}} |
|
1915 |
1914 |
1916 @manual{isabelle-jedit, |
1915 @manual{isabelle-jedit, |
1917 author = {Makarius Wenzel}, |
1916 author = {Makarius Wenzel}, |
1918 title = {{Isabelle/jEdit}}, |
1917 title = {{Isabelle/jEdit}}, |
1919 institution = {TU Munich}, |
1918 note = {\url{http://isabelle.in.tum.de/doc/jedit.pdf}}} |
1920 note = {\url{http://isabelle.in.tum.de/doc/jedit.pdf}}} |
|
1921 |
1919 |
1922 @manual{isabelle-isar-ref, |
1920 @manual{isabelle-isar-ref, |
1923 author = {Makarius Wenzel}, |
1921 author = {Makarius Wenzel}, |
1924 title = {The {Isabelle/Isar} Reference Manual}, |
1922 title = {The {Isabelle/Isar} Reference Manual}, |
1925 institution = {TU Munich}, |
1923 note = {\url{http://isabelle.in.tum.de/doc/isar-ref.pdf}}} |
1926 note = {\url{http://isabelle.in.tum.de/doc/isar-ref.pdf}}} |
|
1927 |
1924 |
1928 @manual{isabelle-implementation, |
1925 @manual{isabelle-implementation, |
1929 author = {Makarius Wenzel}, |
1926 author = {Makarius Wenzel}, |
1930 title = {The {Isabelle/Isar} Implementation}, |
1927 title = {The {Isabelle/Isar} Implementation}, |
1931 institution = {TU Munich}, |
1928 note = {\url{http://isabelle.in.tum.de/doc/implementation.pdf}}} |
1932 note = {\url{http://isabelle.in.tum.de/doc/implementation.pdf}}} |
|
1933 |
1929 |
1934 @InProceedings{Wenzel:1999:TPHOL, |
1930 @InProceedings{Wenzel:1999:TPHOL, |
1935 author = {Markus Wenzel}, |
1931 author = {Markus Wenzel}, |
1936 title = {{Isar} --- a Generic Interpretative Approach to Readable Formal Proof Documents}, |
1932 title = {{Isar} --- a Generic Interpretative Approach to Readable Formal Proof Documents}, |
1937 crossref = {tphols99}} |
1933 crossref = {tphols99}} |