Index of ftp://ftp.daimi.au.dk/Staff/butz/preprints

[DIR] Parent Directory

[ ] ButzCHE.bib  3.94Kb  November 9 1998
[ ] ButzCHE.bib~  3.94Kb  October 25 1998
[ ] README  4.51Kb  October 25 1998
[ ] README~  3.59Kb  October 15 1998
[ GZ] bm2.ps.gz  98.65Kb  April 20 1998
[ GZ] bm4.ps.gz  54.99Kb  April 9 1997
[ GZ] heyting.ps.gz  125.98Kb  February 1 1999
[ GZ] regcat.ps.gz  208.12Kb  October 25 1998
[ GZ] tchol.ps.gz  54.50Kb  July 24 1997
[ GZ] utr01.ps.gz  67.01Kb  January 14 1997