1.1 --- a/doc-src/manual.bib	Tue Sep 12 07:49:07 2006 +0200
     1.2 +++ b/doc-src/manual.bib	Tue Sep 12 12:12:25 2006 +0200
     1.3 @@ -380,6 +380,13 @@
     1.4    publisher	= {Wiley},
     1.5    year		= 1990}
     1.6  
     1.7 +@Article{Gentzen:1935,
     1.8 +  author =       {G. Gentzen},
     1.9 +  title =        {Untersuchungen {\"u}ber das logische {S}chlie{\ss}en},
    1.10 +  journal =      {Math. Zeitschrift},
    1.11 +  year =         1935
    1.12 +}
    1.13 +
    1.14  @InProceedings{gimenez-codifying,
    1.15    author	= {Eduardo Gim{\'e}nez},
    1.16    title		= {Codifying Guarded Definitions with Recursive Schemes},