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

[DIR] Parent Directory

[ ] cnf.pl  3.01Kb  July 31 1997
[ ] README  307.00b  July 31 1997
[ ] resolver.pl  2.70Kb  July 31 1997
[ ] resTP.pl  11.24Kb  July 31 1997
[ ] standards.pl  889.00b  July 31 1997
[ ] tests.pl  1.35Kb  July 31 1997
[ ] unify.pl  2.31Kb  July 31 1997