Directory listing for lambdabot-4.0 source tarball
lambdabot-4.0/scripts/Djinn/tests/
- Makefile
- Test.hs
- testfiles.all
- testfiles.fast
- ljt/
- con_n.002.ljt
- con_n.006.ljt
- con_n.010.ljt
- con_p.002.ljt
- con_p.006.ljt
- con_p.010.ljt
- debruijn_n.002.ljt
- debruijn_n.006.ljt
- debruijn_n.010.ljt
- debruijn_p.002.ljt
- debruijn_p.006.ljt
- debruijn_p.010.ljt
- equiv_n.002.ljt
- equiv_n.006.ljt
- equiv_n.010.ljt
- equiv_p.002.ljt
- equiv_p.006.ljt
- equiv_p.010.ljt
- kk_n.002.ljt
- kk_n.006.ljt
- kk_n.010.ljt
- kk_p.002.ljt
- kk_p.006.ljt
- kk_p.010.ljt
- ph_n.002.ljt
- ph_n.006.ljt
- ph_n.010.ljt
- ph_p.002.ljt
- ph_p.006.ljt
- ph_p.010.ljt
- sch_ax.ljt
- sch_implies.ljt
- sch_jens_prop.ljt
- sch_mult.002.ljt
- sch_mult.003.ljt
- sch_mult.004.ljt
- sch_notnot.ljt
- sch_notnot2.ljt
- sch_prop_n.001.ljt
- sch_prop_n.002.ljt
- sch_prop_n.003.ljt
- sch_prop_n.004.ljt
- schwicht_n.002.ljt
- schwicht_n.006.ljt
- schwicht_n.010.ljt
- schwicht_p.002.ljt
- schwicht_p.006.ljt
- schwicht_p.010.ljt