1 files changed, 16 insertions, 0 deletions
diff --git a/doc/biblio.bib b/doc/biblio.bib
index 242eebd4e..96cf10028 100755
--- a/doc/biblio.bib
+++ b/doc/biblio.bib
@@ -1052,6 +1052,22 @@ Decomposition}},
   note = "Habilitationsschrift, LMU Munchen.",
   year = "1993" }
 
+
+
+@Misc{Pcoq,
+  author =	 {Lemme Team},
+  title =	 {Pcoq a graphical user-interface for {Coq}},
+  note =	 {\url{http://www-sop.inria.fr/lemme/pcoq/}}
+}
+
+
+
+@Misc{ProofGeneral,
+  author =	 {David Aspinall},
+  title =	 {Proof General},
+  note =	 {\url{http://proofgeneral.inf.ed.ac.uk/}}
+}
+
 @INCOLLECTION{wadler87,
         AUTHOR             = {P. Wadler},
         TITLE              = {Efficient  Compilation of Pattern Matching},