]>
2006-05-14 | Enrico Tassi | generation of more than one theorem per file fixed | blob | commitdiff | raw |
2006-05-13 | Enrico Tassi | more work to produce well formed .ma files | blob | commitdiff | raw | diff to current |
2006-05-13 | Enrico Tassi | full script generation | blob | commitdiff | raw | diff to current |
2006-05-13 | Enrico Tassi | fixed some pp stuff | blob | commitdiff | raw | diff to current |
2006-05-12 | Enrico Tassi | added parser (and future converter) of tptp files | blob | commitdiff | raw | diff to current |