src/HOL/Lambda/document/root.bib
2005-02-10 berghofe 2005-02-10 Added paper by M. Takahashi.
2003-06-24 berghofe 2003-06-24 Bibliography file with paper by Matthes and Joachimski.