]>
2006-05-20 | Enrico Tassi | generation of existential variables fixed | blob | commitdiff | raw |
2006-05-19 | Enrico Tassi | - metas_of_term moved to cicUtil | blob | commitdiff | raw | diff to current |
2006-05-16 | Enrico Tassi | few fixes | blob | commitdiff | raw | diff to current |
2006-05-14 | Enrico Tassi | generation of more than one theorem per file fixed | blob | commitdiff | raw | diff to current |
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 |