]>
2010-04-15 | Enrico Tassi | bool_ext on 'o' not on 'Prop' (they are convertible... | blob | commitdiff | raw |
2010-04-13 | Enrico Tassi | fixed support file for TPTP | blob | commitdiff | raw | diff to current |
2010-04-08 | Enrico Tassi | ... | blob | commitdiff | raw | diff to current |