Index of ftp://ftp.cs.tut.fi/pub/src/languages/lp/axioms

[DIR] Parent Directory

[ ] Makefile  602.00b  June 16 1992
[ ] README  938.00b  June 16 1992
[ ] ackermann.lp  288.00b  June 16 1992
[ ] bool.lp  404.00b  June 16 1992
[ ] boolequiv.lp  1.02Kb  June 16 1992
[ ] boolxor.lp  1.06Kb  June 16 1992
[ ] int.lp  1004.00b  June 16 1992
[ ] list.lp  527.00b  June 16 1992
[ ] nat.lp  832.00b  June 16 1992
[ ] set1.lp  1.08Kb  June 16 1992
[ ] set2.lp  704.00b  June 16 1992