equal
deleted
inserted
replaced
88 note = {Unpublished work-in-progress paper, |
88 note = {Unpublished work-in-progress paper, |
89 \url{http://www.proofgeneral.org/~da/drafts/eproof.ps.gz}} |
89 \url{http://www.proofgeneral.org/~da/drafts/eproof.ps.gz}} |
90 } |
90 } |
91 @InProceedings{Aspinall:TACAS:2000, |
91 @InProceedings{Aspinall:TACAS:2000, |
92 author = {David Aspinall}, |
92 author = {David Aspinall}, |
93 title = {Proof General: A Generic Tool for Proof Development}, |
93 title = {{P}roof {G}eneral: A Generic Tool for Proof Development}, |
94 booktitle = {ETAPS / TACAS}, |
94 booktitle = {ETAPS / TACAS}, |
95 year = 2000, |
95 year = 2000 |
96 note = {To appear} |
|
97 } |
96 } |
98 |
97 |
99 @Misc{isamode, |
98 @Misc{isamode, |
100 author = {David Aspinall}, |
99 author = {David Aspinall}, |
101 title = {Isamode --- {U}sing {I}sabelle with {E}macs}, |
100 title = {Isamode --- {U}sing {I}sabelle with {E}macs}, |