Index of ftp://ftp.ims.uni-stuttgart.de/pub/Users/monz/Programs/drsTP

[DIR] Parent Directory

[ ] drs2nnf.pl  4.16Kb  July 31 1997  [find mirrors]
[ ] leanDRT.pl  2.46Kb  July 31 1997  [find mirrors]
[ ] leantap.pl  1.54Kb  July 31 1997  [find mirrors]
[ ] README  505.00b  July 31 1997  [find mirrors]
[ ] tests.pl  4.05Kb  July 31 1997  [find mirrors]
[ ] unify.pl  2.31Kb  July 31 1997  [find mirrors]