]>
2010-04-08 | Enrico Tassi | support axioms | blob | commitdiff | raw |
2010-04-08 | Enrico Tassi | THF parser received some care | blob | commitdiff | raw | diff to current |
2010-04-07 | Enrico Tassi | THF parser for TPTP | blob | commitdiff | raw | diff to current |