]>
2010-01-18 | Claudio Sacerdoti... | // in place of nauto everywhere | commit | commitdiff |
2010-01-18 | Claudio Sacerdoti... | // is now more powerful | commit | commitdiff |
2010-01-15 | Claudio Sacerdoti... | Skipfact function (a partial general recursive function... | commit | commitdiff |
2009-10-28 | Claudio Sacerdoti... | instances | commit | commitdiff |
2009-10-22 | Enrico Tassi | more auto | commit | commitdiff |
2009-10-21 | Claudio Sacerdoti... | Non general recursion implemented via recursion over... | commit | commitdiff |