diff options
| -rwxr-xr-x | doc/biblio.bib | 16 |
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}, |