# HG changeset patch
# User wenzelm
# Date 1158055945 -7200
# Node ID 3ab3689c4a6ee6be2506c3a1ec98893346796bb7
# Parent  1e223f64bd59064506e5251da3a219eac8603e02
added Gentzen:1935;

diff -r 1e223f64bd59 -r 3ab3689c4a6e doc-src/manual.bib
--- a/doc-src/manual.bib	Tue Sep 12 07:49:07 2006 +0200
+++ b/doc-src/manual.bib	Tue Sep 12 12:12:25 2006 +0200
@@ -380,6 +380,13 @@
   publisher	= {Wiley},
   year		= 1990}
 
+@Article{Gentzen:1935,
+  author =       {G. Gentzen},
+  title =        {Untersuchungen {\"u}ber das logische {S}chlie{\ss}en},
+  journal =      {Math. Zeitschrift},
+  year =         1935
+}
+
 @InProceedings{gimenez-codifying,
   author	= {Eduardo Gim{\'e}nez},
   title		= {Codifying Guarded Definitions with Recursive Schemes},