equal
deleted
inserted
replaced
2 @string{CUCL="Comp. Lab., Univ. Camb."} |
2 @string{CUCL="Comp. Lab., Univ. Camb."} |
3 @string{CUP="Cambridge University Press"} |
3 @string{CUP="Cambridge University Press"} |
4 @string{Springer="Springer-Verlag"} |
4 @string{Springer="Springer-Verlag"} |
5 @string{TUM="TU Munich"} |
5 @string{TUM="TU Munich"} |
6 |
6 |
|
7 |
|
8 @Book{Concrete-Math, |
|
9 author = {R. L. Graham and D. E. Knuth and O. Patashnik}, |
|
10 title = {Concrete Mathematics}, |
|
11 publisher = {Addison-Wesley}, |
|
12 year = 1989 |
|
13 } |
7 |
14 |
8 @InProceedings{Wenzel:1999:TPHOL, |
15 @InProceedings{Wenzel:1999:TPHOL, |
9 author = {Markus Wenzel}, |
16 author = {Markus Wenzel}, |
10 title = {{Isar} --- a Generic Interpretative Approach to Readable Formal Proof Documents}, |
17 title = {{Isar} --- a Generic Interpretative Approach to Readable Formal Proof Documents}, |
11 crossref = {tphols99}} |
18 crossref = {tphols99}} |