equal
deleted
inserted
replaced
84 author = {David Aspinall}, |
84 author = {David Aspinall}, |
85 title = {Protocols for Interactive {e-Proof}}, |
85 title = {Protocols for Interactive {e-Proof}}, |
86 booktitle = {Theorem Proving in Higher Order Logics (TPHOLs)}, |
86 booktitle = {Theorem Proving in Higher Order Logics (TPHOLs)}, |
87 year = 2000, |
87 year = 2000, |
88 note = {Unpublished work-in-progress paper, |
88 note = {Unpublished work-in-progress paper, |
89 \url{http://zermelo.dcs.ed.ac.uk/~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 = {Proof General: A Generic Tool for Proof Development}, |
94 booktitle = {ETAPS / TACAS}, |
94 booktitle = {ETAPS / TACAS}, |
97 } |
97 } |
98 |
98 |
99 @Misc{isamode, |
99 @Misc{isamode, |
100 author = {David Aspinall}, |
100 author = {David Aspinall}, |
101 title = {Isamode --- {U}sing {I}sabelle with {E}macs}, |
101 title = {Isamode --- {U}sing {I}sabelle with {E}macs}, |
102 note = {\url{http://zermelo.dcs.ed.ac.uk/~da/Isamode/}} |
102 note = {\url{http://www.proofgeneral.org/~da/Isamode/}} |
103 } |
103 } |
104 |
104 |
105 @Misc{proofgeneral, |
105 @Misc{proofgeneral, |
106 author = {David Aspinall and others}, |
106 author = {David Aspinall and others}, |
107 title = {{P}roof {G}eneral --- {O}rganize your proofs!}, |
107 title = {{P}roof {G}eneral --- {O}rganize your proofs!}, |