Index of ftp://ftp.sics.se/pub/archive/ifs

[DIR] Parent Directory

[ ] INFO.tar.Z  21.07Kb  December 6 1994
[ ] README  14.13Kb  December 6 1994
[ ] README.j  15.50Kb  December 6 1994
[DIR] exper-apps  5.00b  July 11 1993
[DIR] kbms-clp  6.00b  January 23 1993
[DIR] manuals  5.00b  January 23 1993
[DIR] natural-lang  6.00b  January 23 1993
[DIR] newsletter  18.00b  December 6 1994
[DIR] solver-prover  5.00b  January 23 1993
[DIR] symbolic-proc  5.00b  January 23 1993