new refererences for Inductive manual, but still incomplete
authorpaulson
Fri May 07 10:48:56 1999 +0200 (1999-05-07)
changeset 6613250a0ca35ef5
parent 6612 e1b7b76bc197
child 6614 2d47dee036b5
new refererences for Inductive manual, but still incomplete
doc-src/manual.bib
     1.1 --- a/doc-src/manual.bib	Thu May 06 19:04:44 1999 +0200
     1.2 +++ b/doc-src/manual.bib	Fri May 07 10:48:56 1999 +0200
     1.3 @@ -14,7 +14,8 @@
     1.4  @string{Springer="Springer-Verlag"}
     1.5  
     1.6  %institutions
     1.7 -@string{CUCL="Computer Laboratory, University of Cambridge"}
     1.8 +@string{CUCL="Comp. Lab., Univ. Camb."}
     1.9 +@string{Edinburgh="Dept. Comp. Sci., Univ. Edinburgh"}
    1.10  
    1.11  %journals
    1.12  @string{FAC="Formal Aspects Comput."}
    1.13 @@ -201,6 +202,16 @@
    1.14  
    1.15  %F
    1.16  
    1.17 +@Article{IMPS,
    1.18 +  author	= {William M. Farmer and Joshua D. Guttman and F. Javier
    1.19 +		 Thayer},
    1.20 +  title		= {{IMPS}: An Interactive Mathematical Proof System},
    1.21 +  journal	= JAR,
    1.22 +  volume	= 11,
    1.23 +  number	= 2,
    1.24 +  year		= 1993,
    1.25 +  pages		= {213-248}}
    1.26 +
    1.27  @InProceedings{felty91a,
    1.28    Author	= {Amy Felty},
    1.29    Title		= {A Logic Program for Transforming Sequent Proofs to Natural
    1.30 @@ -574,8 +585,10 @@
    1.31    month		= mar,
    1.32    pages		= {175-204}}
    1.33  
    1.34 -@manual{isabelle-ref,author="Lawrence C. Paulson",
    1.35 -title="The Isabelle Reference Manual",organization=CUCL}
    1.36 +@manual{isabelle-ref,
    1.37 +  author	= {Lawrence C. Paulson},
    1.38 +  title		= {The {Isabelle} Reference Manual},
    1.39 +  institution	= CUCL}
    1.40  
    1.41  @manual{isabelle-ZF,
    1.42    author	= {Lawrence C. Paulson},
    1.43 @@ -868,6 +881,13 @@
    1.44    publisher	= {Springer},
    1.45    series	= {LNCS 806}}
    1.46  
    1.47 +@book{barwise-handbk,
    1.48 +  editor	= {J. Barwise},
    1.49 +  title		= {Handbook of Mathematical Logic},
    1.50 +  booktitle	= {Handbook of Mathematical Logic},
    1.51 +  year		= 1977,
    1.52 +  publisher	= NH}
    1.53 +
    1.54  @Proceedings{tlca93,
    1.55    title		= {Typed Lambda Calculi and Applications},
    1.56    booktitle	= {Typed Lambda Calculi and Applications},
    1.57 @@ -876,6 +896,15 @@
    1.58    publisher	= {Springer},
    1.59    series	= {LNCS 664}}
    1.60  
    1.61 +@book{birtwistle89,
    1.62 +  editor	= {Graham Birtwistle and P. A. Subrahmanyam},
    1.63 +  title		= {Current Trends in Hardware Verification and Automated
    1.64 +		 Theorem Proving}, 
    1.65 +  booktitle	= {Current Trends in Hardware Verification and Automated
    1.66 +		 Theorem Proving}, 
    1.67 +  publisher	= {Springer},
    1.68 +  year		= 1989}
    1.69 +
    1.70  @book{bledsoe-fest,
    1.71    title		= {Automated Reasoning: Essays in Honor of {Woody Bledsoe}},
    1.72    booktitle	= {Automated Reasoning: Essays in Honor of {Woody Bledsoe}},
    1.73 @@ -908,6 +937,23 @@
    1.74    publisher	= CUP,
    1.75    year		= 1991}
    1.76  
    1.77 +@book{huet-plotkin93,
    1.78 +  editor	= {{G\'erard} Huet and Gordon Plotkin},
    1.79 +  title		= {Logical Environments},
    1.80 +  booktitle	= {Logical Environments},
    1.81 +  publisher	= CUP,
    1.82 +  year		= 1993}
    1.83 +
    1.84 +@Proceedings{hug93,
    1.85 +  editor	= {J. Joyce and C. Seger},
    1.86 +  title		= {Higher Order Logic Theorem Proving and Its
    1.87 +		  Applications: HUG '93},
    1.88 +  booktitle	= {Higher Order Logic Theorem Proving and Its
    1.89 +		  Applications: HUG '93},
    1.90 +  year		= {Published 1994},
    1.91 +  publisher	= {Springer},
    1.92 +  series	= {LNCS 780}}
    1.93 +
    1.94  @proceedings{colog88,
    1.95    editor	= {P. Martin-L\"of and G. Mints},
    1.96    title		= {COLOG-88: International Conference on Computer Logic},
    1.97 @@ -957,6 +1003,14 @@
    1.98    year		= 1997,
    1.99    editor	= {Robert Veroff}}
   1.100  
   1.101 +@proceedings{fme93,
   1.102 +  editor	= {J. C. P. Woodcock and P. G. Larsen},
   1.103 +  title		= {FME '93: Industrial-Strength Formal Methods},
   1.104 +  booktitle	= {FME '93: Industrial-Strength Formal Methods},
   1.105 +  year		= 1993,
   1.106 +  publisher	= {Springer},
   1.107 +  series	= {LNCS 670}}
   1.108 +
   1.109  @Proceedings{tphols96,
   1.110    title		= {Theorem Proving in Higher Order Logics: {TPHOLs} '96},
   1.111    booktitle	= {Theorem Proving in Higher Order Logics: {TPHOLs} '96},