ejackson 47cdfb6086 Modified results to enumerate derivations and proofs from non-ground ... goals.		2014-08-18 18:08:48 -07:00
..
acc_0.txt	Modified results to enumerate derivations and proofs from non-ground	2014-08-18 18:08:48 -07:00
testconfig.txt	Modified results to enumerate derivations and proofs from non-ground	2014-08-18 18:08:48 -07:00
tests.4ml	Added lstLength function, made Guids sequential, updated test-cases	2014-03-11 15:09:22 -07:00