--- a/doc-src/manual.bib Thu May 06 19:04:44 1999 +0200
+++ b/doc-src/manual.bib Fri May 07 10:48:56 1999 +0200
@@ -14,7 +14,8 @@
@string{Springer="Springer-Verlag"}
%institutions
-@string{CUCL="Computer Laboratory, University of Cambridge"}
+@string{CUCL="Comp. Lab., Univ. Camb."}
+@string{Edinburgh="Dept. Comp. Sci., Univ. Edinburgh"}
%journals
@string{FAC="Formal Aspects Comput."}
@@ -201,6 +202,16 @@
%F
+@Article{IMPS,
+ author = {William M. Farmer and Joshua D. Guttman and F. Javier
+ Thayer},
+ title = {{IMPS}: An Interactive Mathematical Proof System},
+ journal = JAR,
+ volume = 11,
+ number = 2,
+ year = 1993,
+ pages = {213-248}}
+
@InProceedings{felty91a,
Author = {Amy Felty},
Title = {A Logic Program for Transforming Sequent Proofs to Natural
@@ -574,8 +585,10 @@
month = mar,
pages = {175-204}}
-@manual{isabelle-ref,author="Lawrence C. Paulson",
-title="The Isabelle Reference Manual",organization=CUCL}
+@manual{isabelle-ref,
+ author = {Lawrence C. Paulson},
+ title = {The {Isabelle} Reference Manual},
+ institution = CUCL}
@manual{isabelle-ZF,
author = {Lawrence C. Paulson},
@@ -868,6 +881,13 @@
publisher = {Springer},
series = {LNCS 806}}
+@book{barwise-handbk,
+ editor = {J. Barwise},
+ title = {Handbook of Mathematical Logic},
+ booktitle = {Handbook of Mathematical Logic},
+ year = 1977,
+ publisher = NH}
+
@Proceedings{tlca93,
title = {Typed Lambda Calculi and Applications},
booktitle = {Typed Lambda Calculi and Applications},
@@ -876,6 +896,15 @@
publisher = {Springer},
series = {LNCS 664}}
+@book{birtwistle89,
+ editor = {Graham Birtwistle and P. A. Subrahmanyam},
+ title = {Current Trends in Hardware Verification and Automated
+ Theorem Proving},
+ booktitle = {Current Trends in Hardware Verification and Automated
+ Theorem Proving},
+ publisher = {Springer},
+ year = 1989}
+
@book{bledsoe-fest,
title = {Automated Reasoning: Essays in Honor of {Woody Bledsoe}},
booktitle = {Automated Reasoning: Essays in Honor of {Woody Bledsoe}},
@@ -908,6 +937,23 @@
publisher = CUP,
year = 1991}
+@book{huet-plotkin93,
+ editor = {{G\'erard} Huet and Gordon Plotkin},
+ title = {Logical Environments},
+ booktitle = {Logical Environments},
+ publisher = CUP,
+ year = 1993}
+
+@Proceedings{hug93,
+ editor = {J. Joyce and C. Seger},
+ title = {Higher Order Logic Theorem Proving and Its
+ Applications: HUG '93},
+ booktitle = {Higher Order Logic Theorem Proving and Its
+ Applications: HUG '93},
+ year = {Published 1994},
+ publisher = {Springer},
+ series = {LNCS 780}}
+
@proceedings{colog88,
editor = {P. Martin-L\"of and G. Mints},
title = {COLOG-88: International Conference on Computer Logic},
@@ -957,6 +1003,14 @@
year = 1997,
editor = {Robert Veroff}}
+@proceedings{fme93,
+ editor = {J. C. P. Woodcock and P. G. Larsen},
+ title = {FME '93: Industrial-Strength Formal Methods},
+ booktitle = {FME '93: Industrial-Strength Formal Methods},
+ year = 1993,
+ publisher = {Springer},
+ series = {LNCS 670}}
+
@Proceedings{tphols96,
title = {Theorem Proving in Higher Order Logics: {TPHOLs} '96},
booktitle = {Theorem Proving in Higher Order Logics: {TPHOLs} '96},