src/Doc/ProgProve/document/root.bib
changeset 51784 89fb9f4abf84
parent 48985 5386df44a037
child 52782 b11d73dbfb76
     1.1 --- a/src/Doc/ProgProve/document/root.bib	Fri Apr 26 07:49:38 2013 +0200
     1.2 +++ b/src/Doc/ProgProve/document/root.bib	Fri Apr 26 09:01:45 2013 +0200
     1.3 @@ -9,6 +9,9 @@
     1.4  title={Defining Recursive Functions in Isabelle/HOL},
     1.5  note={\url{http://isabelle.in.tum.de/doc/functions.pdf}}}
     1.6  
     1.7 +@manual{Nipkow-Main,author={Tobias Nipkow},title={What's in Main},
     1.8 +note={\url{http://isabelle.in.tum.de/doc/main.pdf}}}
     1.9 +
    1.10  @book{LNCS2283,author={Tobias Nipkow and Lawrence Paulson and Markus Wenzel},
    1.11  title="Isabelle/HOL --- A Proof Assistant for Higher-Order Logic",
    1.12  publisher=Springer,series=LNCS,volume=2283,year=2002}