equal
deleted
inserted
replaced
78 through Proof", |
78 through Proof", |
79 publisher = AP, |
79 publisher = AP, |
80 series = "Computer Science and Applied Mathematics", |
80 series = "Computer Science and Applied Mathematics", |
81 year = 1986} |
81 year = 1986} |
82 |
82 |
|
83 @InProceedings{Aspinall:TACAS:2000, |
|
84 author = {David Aspinall}, |
|
85 title = {Proof General: A Generic Tool for Proof Development}, |
|
86 booktitle = {ETAPS / TACAS}, |
|
87 year = 2000, |
|
88 note = {To appear} |
|
89 } |
|
90 |
83 @Misc{isamode, |
91 @Misc{isamode, |
84 author = {David Aspinall}, |
92 author = {David Aspinall}, |
85 title = {Isamode --- {U}sing {I}sabelle with {E}macs}, |
93 title = {Isamode --- {U}sing {I}sabelle with {E}macs}, |
86 note = {\url{http://www.dcs.ed.ac.uk/home/da/Isamode/}} |
94 note = {\url{http://www.dcs.ed.ac.uk/home/da/Isamode/}} |
87 } |
95 } |
919 year = 1994, |
927 year = 1994, |
920 month = aug} |
928 month = aug} |
921 |
929 |
922 %W |
930 %W |
923 |
931 |
|
932 @Misc{x-symbol, |
|
933 author = {Christoph Wedler}, |
|
934 title = {Emacs package ``{X-Symbol}''}, |
|
935 note = {\url{http://www.fmi.uni-passau.de/~wedler/x-symbol/}} |
|
936 } |
|
937 |
924 @manual{isabelle-sys, |
938 @manual{isabelle-sys, |
925 author = {Markus Wenzel and Stefan Berghofer}, |
939 author = {Markus Wenzel and Stefan Berghofer}, |
926 title = {The {Isabelle} System Manual}, |
940 title = {The {Isabelle} System Manual}, |
927 institution = {TU Munich}} |
941 institution = {TU Munich}} |
928 |
942 |