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

[DIR] Parent Directory

[ ] abducer.pl  5.90Kb  July 31 1997
[ ] leanabducer.pl  5.60Kb  July 31 1997
[ ] nnf.pl  2.42Kb  July 31 1997
[ ] README  244.00b  July 31 1997
[ ] tests.pl  1.44Kb  July 31 1997
[ ] unify.pl  2.31Kb  July 31 1997