# HG changeset patch
# User paulson
# Date 926066936 -7200
# Node ID 250a0ca35ef549f7a47856fb876bf25bfd8d7bb0
# Parent  e1b7b76bc197dc3546e8af34ddd02a68163bf031
new refererences for Inductive manual, but still incomplete

diff -r e1b7b76bc197 -r 250a0ca35ef5 doc-src/manual.bib
--- 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},