--- a/doc-src/manual.bib Sat May 21 11:31:59 2011 +0200
+++ b/doc-src/manual.bib Wed May 25 22:12:46 2011 +0200
@@ -532,8 +532,7 @@
@Book{mgordon-hol,
editor = {M. J. C. Gordon and T. F. Melham},
- title = {Introduction to {HOL}: A Theorem Proving Environment for
- Higher Order Logic},
+ title = {Introduction to {HOL}: A Theorem Proving Environment for Higher Order Logic},
publisher = CUP,
year = 1993}
@@ -1310,6 +1309,15 @@
year = 1986,
note = {Errata, JAR 4 (1988), 235--236 and JAR 18 (1997), 135}}
+@InCollection{pitts93,
+ author = {A. Pitts},
+ title = {The {HOL} Logic},
+ editor = {M. J. C. Gordon and T. F. Melham},
+ booktitle = {Introduction to {HOL}: A Theorem Proving Environment for Higher Order Logic},
+ pages = {191--232},
+ publisher = CUP,
+ year = 1993}
+
@Article{pitts94,
author = {Andrew M. Pitts},
title = {A Co-induction Principle for Recursively Defined Domains},