# HG changeset patch # User wenzelm # Date 933783605 -7200 # Node ID 47aa9df578eac483bab145809dbcc3c7ae20aa6b # Parent bd1749e3a58393c15b5229f404b048d6d22b5bdc added isabelle-sys, proofgeneral; diff -r bd1749e3a583 -r 47aa9df578ea doc-src/manual.bib --- 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,