Index of ftp://cs.nyu.edu/pub/local/davise

Parent Directory

cutting.tar.Z   41.72Kb   February 5 1991
ideal.tar.Z   34.80Kb   February 14 1991
kp.tar.Z   136.17Kb   May 18 1993
lucid.tar.Z   41.52Kb   June 10 1991
qp-axioms.tex   80.32Kb   November 12 1991
zeno.tar   104.00Kb   February 21 1992

`cutting.tar.Z`	`41.72Kb`	`February 5 1991`
`ideal.tar.Z`	`34.80Kb`	`February 14 1991`
`kp.tar.Z`	`136.17Kb`	`May 18 1993`
`lucid.tar.Z`	`41.52Kb`	`June 10 1991`
`qp-axioms.tex`	`80.32Kb`	`November 12 1991`
`zeno.tar`	`104.00Kb`	`February 21 1992`