equal
deleted
inserted
replaced
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://www.dcs.ed.ac.uk/home/da/Isamode/}} |
102 note = {\url{http://zermelo.dcs.ed.ac.uk/~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!}, |
108 note = {\url{http://www.dcs.ed.ac.uk/home/proofgen/}} |
108 note = {\url{http://www.proofgeneral.org}} |
109 } |
109 } |
110 |
110 |
111 %B |
111 %B |
112 |
112 |
113 @incollection{basin91, |
113 @incollection{basin91, |