Index of ftp://ftp.cc.gatech.edu/pub/software/prover

[DIR] Parent Directory

[ ] Makefile  194.00b  October 13 1993
[ ] Makefile-pred  293.00b  October 13 1993
[ ] Maketerm  230.00b  October 13 1993
[ ] Maketerm-pred  319.00b  October 13 1993
[ ] demo-axioms.ssl  1.82Kb  October 13 1993
[ ] demo-basic.ssl  1.09Kb  October 13 1993
[ ] demo-lex-pred.ssl  297.00b  October 13 1993
[ ] demo-module.ssl  900.00b  October 13 1993
[ ] demo-pred.ssl  22.11Kb  October 13 1993
[ ] demo-proof.ssl  47.49Kb  October 13 1993
[ ] demo-prop-pred.ssl  4.86Kb  October 13 1993
[ ] demo-prop.ssl  2.80Kb  October 13 1993
[ ] demo-subst-pred.ssl  5.28Kb  October 13 1993
[ ] demo-subst.ssl  2.80Kb  October 13 1993
[ ] demo-term-pred.ssl  2.18Kb  October 13 1993
[ ] demo-theorem-pred.ssl  403.00b  October 13 1993
[ ] demo-theorem.ssl  1.39Kb  October 13 1993
[ ] menu  978.00b  December 13 1993