Index of ftp://ftp.ims.uni-stuttgart.de/pub/Users/monz/Programs/drsTP
Parent Directory
drs2nnf.pl
4.16Kb
July 31 1997
leanDRT.pl
2.46Kb
July 31 1997
leantap.pl
1.54Kb
July 31 1997
README
505.00b
July 31 1997
tests.pl
4.05Kb
July 31 1997
unify.pl
2.31Kb
July 31 1997