]>
2010-04-13 | Enrico Tassi | fixed makefile | commit | commitdiff |
2010-04-13 | Enrico Tassi | some fixes to THF parser | commit | commitdiff |
2010-04-08 | Enrico Tassi | fixed compiltion order of lexer/parser | commit | commitdiff |
2010-04-07 | Enrico Tassi | THF parser for TPTP | commit | commitdiff |
2009-06-12 | Enrico Tassi | -ng implemented | commit | commitdiff |
2007-04-17 | Enrico Tassi | added generation of hne and heq problems | commit | commitdiff |
2006-07-22 | Enrico Tassi | matitaprover | commit | commitdiff |