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},