equal
deleted
inserted
replaced
|
1 |
|
2 @TechReport{Gordon:1985:HOL, |
|
3 author = {M. J. C. Gordon}, |
|
4 title = {{HOL}: A machine oriented formulation of higher order logic}, |
|
5 institution = {University of Cambridge Computer Laboratory}, |
|
6 year = 1985, |
|
7 number = 68 |
|
8 } |
1 |
9 |
2 @InProceedings{Kamm-et-al:1999, |
10 @InProceedings{Kamm-et-al:1999, |
3 author = {Florian Kamm{\"u}ller and Markus Wenzel and |
11 author = {Florian Kamm{\"u}ller and Markus Wenzel and |
4 Lawrence C. Paulson}, |
12 Lawrence C. Paulson}, |
5 title = {Locales: A Sectioning Concept for {Isabelle}}, |
13 title = {Locales: A Sectioning Concept for {Isabelle}}, |