| Wed, 04 Apr 2012 17:51:12 +0200 | kuncar | support non-open typedefs; define cr_rel in terms of a rep function for typedefs | changeset | files |
| Wed, 04 Apr 2012 16:29:17 +0100 | sultana | tuned; | changeset | files |
| Wed, 04 Apr 2012 16:29:16 +0100 | sultana | added interpretation for formula conditional; | changeset | files |
| Wed, 04 Apr 2012 16:29:16 +0100 | sultana | refactored tptp lex; | changeset | files |