equal
deleted
inserted
replaced
1 |
1 |
2 @Unpublished{Bauer-et-al:2001:HOL-Library, |
2 @Unpublished{Bauer-et-al:2002:HOL-Library, |
3 author = {Gertrud Bauer and Tobias Nipkow and Lawrence C Paulson and |
3 author = {Gertrud Bauer and Tobias Nipkow and Oheimb, David von and |
4 Thomas M Rasmussen and Markus Wenzel}, |
4 Lawrence C Paulson and Thomas M Rasmussen and Christophe Tabacznyj and |
|
5 Markus Wenzel}, |
5 title = {The Supplemental {Isabelle/HOL} Library}, |
6 title = {The Supplemental {Isabelle/HOL} Library}, |
6 note = {\url{http://isabelle.in.tum.de/library/HOL/Library/document.pdf}}, |
7 note = {\url{http://isabelle.in.tum.de/library/HOL/Library/document.pdf}}, |
7 year = 2001 |
8 year = 2002 |
8 } |
9 } |
9 |
10 |
10 @PhdThesis{Naraschewski:2001, |
11 @PhdThesis{Naraschewski:2001, |
11 author = {Wolfgang Naraschewski}, |
12 author = {Wolfgang Naraschewski}, |
12 title = {Teams as Types --- A Formal Treatment of Authorization in Groupware}, |
13 title = {Teams as Types --- A Formal Treatment of Authorization in Groupware}, |
48 author = {Markus Wenzel}, |
49 author = {Markus Wenzel}, |
49 title = {{Isar} --- a Generic Interpretative Approach to Readable Formal Proof Documents}, |
50 title = {{Isar} --- a Generic Interpretative Approach to Readable Formal Proof Documents}, |
50 crossref = {tphols99}} |
51 crossref = {tphols99}} |
51 |
52 |
52 |
53 |
53 @Manual{Wenzel:2000:isar-ref, |
54 @Manual{Wenzel:2002:isar-ref, |
54 author = {Markus Wenzel}, |
55 author = {Markus Wenzel}, |
55 title = {The {Isabelle/Isar} Reference Manual}, |
56 title = {The {Isabelle/Isar} Reference Manual}, |
56 year = 2000, |
57 year = 2002, |
57 institution = {TU Munich}, |
58 institution = {TU Munich}, |
58 note = {\url{http://isabelle.in.tum.de/doc/isar-ref.pdf}} |
59 note = {\url{http://isabelle.in.tum.de/doc/isar-ref.pdf}} |
59 } |
60 } |
60 |
61 |
61 @Proceedings{tphols99, |
62 @Proceedings{tphols99, |