--- a/doc-src/manual.bib Mon Aug 16 14:22:45 1999 +0200
+++ b/doc-src/manual.bib Mon Aug 16 14:57:41 1999 +0200
@@ -79,6 +79,18 @@
series = "Computer Science and Applied Mathematics",
year = 1986}
+@Misc{isamode,
+ author = {David Aspinall},
+ title = {Isamode},
+ note = {\url{http://www.dcs.ed.ac.uk/home/da/Isamode/}}
+}
+
+@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/}}
+}
+
%B
@incollection{basin91,
@@ -775,12 +787,6 @@
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,