equal
deleted
inserted
replaced
2 @Unpublished{Bauer-et-al:2002:HOL-Library, |
2 @Unpublished{Bauer-et-al:2002:HOL-Library, |
3 author = {Gertrud Bauer and Tobias Nipkow and Oheimb, David von and |
3 author = {Gertrud Bauer and Tobias Nipkow and Oheimb, David von and |
4 Lawrence C Paulson and Thomas M Rasmussen and Christophe Tabacznyj and |
4 Lawrence C Paulson and Thomas M Rasmussen and Christophe Tabacznyj and |
5 Markus Wenzel}, |
5 Markus Wenzel}, |
6 title = {The Supplemental {Isabelle/HOL} Library}, |
6 title = {The Supplemental {Isabelle/HOL} Library}, |
7 note = {\url{http://isabelle.in.tum.de/library/HOL/Library/document.pdf}}, |
7 note = {\url{https://isabelle.in.tum.de/library/HOL/Library/document.pdf}}, |
8 year = 2002 |
8 year = 2002 |
9 } |
9 } |
10 |
10 |
11 @PhdThesis{Naraschewski:2001, |
11 @PhdThesis{Naraschewski:2001, |
12 author = {Wolfgang Naraschewski}, |
12 author = {Wolfgang Naraschewski}, |
19 author = {Tobias Nipkow and Lawrence C. Paulson and Markus Wenzel}, |
19 author = {Tobias Nipkow and Lawrence C. Paulson and Markus Wenzel}, |
20 title = {{Isabelle}'s Logics: {HOL}}, |
20 title = {{Isabelle}'s Logics: {HOL}}, |
21 institution = {Institut f\"ur Informatik, Technische Universi\"at |
21 institution = {Institut f\"ur Informatik, Technische Universi\"at |
22 M\"unchen and Computer Laboratory, University of Cambridge}, |
22 M\"unchen and Computer Laboratory, University of Cambridge}, |
23 year = 2000, |
23 year = 2000, |
24 note = {\url{http://isabelle.in.tum.de/doc/logics-HOL.pdf}} |
24 note = {\url{https://isabelle.in.tum.de/doc/logics-HOL.pdf}} |
25 } |
25 } |
26 |
26 |
27 @Book{Tanenbaum:1992, |
27 @Book{Tanenbaum:1992, |
28 author = {Andrew S. Tanenbaum}, |
28 author = {Andrew S. Tanenbaum}, |
29 title = {Modern Operating Systems}, |
29 title = {Modern Operating Systems}, |
54 @Manual{Wenzel:2002:isar-ref, |
54 @Manual{Wenzel:2002:isar-ref, |
55 author = {Markus Wenzel}, |
55 author = {Markus Wenzel}, |
56 title = {The {Isabelle/Isar} Reference Manual}, |
56 title = {The {Isabelle/Isar} Reference Manual}, |
57 year = 2002, |
57 year = 2002, |
58 institution = {TU Munich}, |
58 institution = {TU Munich}, |
59 note = {\url{http://isabelle.in.tum.de/doc/isar-ref.pdf}} |
59 note = {\url{https://isabelle.in.tum.de/doc/isar-ref.pdf}} |
60 } |
60 } |
61 |
61 |
62 @Proceedings{tphols99, |
62 @Proceedings{tphols99, |
63 title = {Theorem Proving in Higher Order Logics: {TPHOLs} '99}, |
63 title = {Theorem Proving in Higher Order Logics: {TPHOLs} '99}, |
64 booktitle = {Theorem Proving in Higher Order Logics: {TPHOLs} '99}, |
64 booktitle = {Theorem Proving in Higher Order Logics: {TPHOLs} '99}, |