equal
deleted
inserted
replaced
79 series = "Computer Science and Applied Mathematics", |
79 series = "Computer Science and Applied Mathematics", |
80 year = 1986} |
80 year = 1986} |
81 |
81 |
82 @Misc{isamode, |
82 @Misc{isamode, |
83 author = {David Aspinall}, |
83 author = {David Aspinall}, |
84 title = {Isamode}, |
84 title = {Isamode --- {U}sing {I}sabelle with {E}macs}, |
85 note = {\url{http://www.dcs.ed.ac.uk/home/da/Isamode/}} |
85 note = {\url{http://www.dcs.ed.ac.uk/home/da/Isamode/}} |
86 } |
86 } |
87 |
87 |
88 @Misc{proofgeneral, |
88 @Misc{proofgeneral, |
89 author = {David Aspinall and others}, |
89 author = {David Aspinall and others}, |