equal
deleted
inserted
replaced
86 author = {David Aspinall}, |
86 author = {David Aspinall}, |
87 title = {Protocols for Interactive {e-Proof}}, |
87 title = {Protocols for Interactive {e-Proof}}, |
88 booktitle = {Theorem Proving in Higher Order Logics (TPHOLs)}, |
88 booktitle = {Theorem Proving in Higher Order Logics (TPHOLs)}, |
89 year = 2000, |
89 year = 2000, |
90 note = {Unpublished work-in-progress paper, |
90 note = {Unpublished work-in-progress paper, |
91 \url{http://www.proofgeneral.org/~da/drafts/eproof.ps.gz}} |
91 \url{http://homepages.inf.ed.ac.uk/da/papers/drafts/eproof.ps.gz}} |
92 } |
92 } |
|
93 |
93 @InProceedings{Aspinall:TACAS:2000, |
94 @InProceedings{Aspinall:TACAS:2000, |
94 author = {David Aspinall}, |
95 author = {David Aspinall}, |
95 title = {{P}roof {G}eneral: A Generic Tool for Proof Development}, |
96 title = {{P}roof {G}eneral: A Generic Tool for Proof Development}, |
96 booktitle = {Tools and Algorithms for the Construction and Analysis of |
97 booktitle = {Tools and Algorithms for the Construction and Analysis of |
97 Systems (TACAS)}, |
98 Systems (TACAS)}, |
103 } |
104 } |
104 |
105 |
105 @Misc{isamode, |
106 @Misc{isamode, |
106 author = {David Aspinall}, |
107 author = {David Aspinall}, |
107 title = {Isamode --- {U}sing {I}sabelle with {E}macs}, |
108 title = {Isamode --- {U}sing {I}sabelle with {E}macs}, |
108 note = {\url{http://www.proofgeneral.org/~da/Isamode/}} |
109 note = {\url{http://homepages.inf.ed.ac.uk/da/Isamode/}} |
109 } |
110 } |
110 |
111 |
111 @Misc{proofgeneral, |
112 @Misc{proofgeneral, |
112 author = {David Aspinall}, |
113 author = {David Aspinall}, |
113 title = {{P}roof {G}eneral}, |
114 title = {{P}roof {G}eneral}, |
114 note = {\url{http://www.proofgeneral.org}} |
115 note = {\url{http://proofgeneral.inf.ed.ac.uk/}} |
115 } |
116 } |
116 |
117 |
117 %B |
118 %B |
118 |
119 |
119 @book{Baader-Nipkow,author={Franz Baader and Tobias Nipkow}, |
120 @book{Baader-Nipkow,author={Franz Baader and Tobias Nipkow}, |