--- a/doc-src/manual.bib Wed Mar 14 08:50:55 2001 +0100
+++ b/doc-src/manual.bib Wed Mar 14 17:38:49 2001 +0100
@@ -91,8 +91,13 @@
@InProceedings{Aspinall:TACAS:2000,
author = {David Aspinall},
title = {{P}roof {G}eneral: A Generic Tool for Proof Development},
- booktitle = {ETAPS / TACAS},
- year = 2000
+ booktitle = {Tools and Algorithms for the Construction and Analysis of
+ Systems (TACAS)},
+ year = 2000,
+ publisher = Springer,
+ series = LNCS,
+ volume = 1785,
+ pages = "38--42"
}
@Misc{isamode,
@@ -335,7 +340,7 @@
note = {Translated by Yves LaFont and Paul Taylor}}
@Book{mgordon-hol,
- author = {M. J. C. Gordon and T. F. Melham},
+ editor = {M. J. C. Gordon and T. F. Melham},
title = {Introduction to {HOL}: A Theorem Proving Environment for
Higher Order Logic},
publisher = CUP,