]>
2010-04-07 | Enrico Tassi | THF parser for TPTP | blob | commitdiff | raw |
2009-06-12 | Enrico Tassi | -ng implemented | blob | commitdiff | raw | diff to current |
2007-04-17 | Enrico Tassi | added generation of hne and heq problems | blob | commitdiff | raw | diff to current |
2006-07-22 | Enrico Tassi | matitaprover | blob | commitdiff | raw | diff to current |