--- a/doc-src/manual.bib Wed Aug 04 18:19:45 1999 +0200
+++ b/doc-src/manual.bib Wed Aug 04 18:20:05 1999 +0200
@@ -606,6 +606,11 @@
title = {The {Isabelle} Reference Manual},
institution = CUCL}
+@manual{isabelle-sys,
+ author = {Markus Wenzel},
+ title = {The {Isabelle} System Manual},
+ institution = CUCL}
+
@manual{isabelle-ZF,
author = {Lawrence C. Paulson},
title = {{Isabelle}'s Logics: {FOL} and {ZF}},
@@ -770,6 +775,12 @@
number = 4,
pages = {389-402}}
+@Misc{proofgeneral,
+ author = {David Aspinall and others},
+ title = {{P}roof {G}eneral --- {O}rganize your proofs!},
+ note = {\url{http://www.dcs.ed.ac.uk/home/proofgen/}}
+}
+
%Q
@Article{quaife92,