Index file for directory "pretzel/doc/bibliographies" of Pretzel distribution

Files and directories are:

this directory

litprog.bib prettyprinting.bib supplemental.bib
Felix Gaertner

To Pretzel Homepage.

Last modified: Wed Jul 9 10:58:11 MESZ 1997