| Fri, 09 Mar 2012 15:39:06 +0000 | sultana | split make_tptp_parser into two scripts, for parser and lib respectively; | changeset | files |
| Fri, 09 Mar 2012 15:39:00 +0000 | sultana | added ml-yacc library sources; | changeset | files |
| Fri, 09 Mar 2012 15:38:55 +0000 | sultana | added tptp parser; | changeset | files |
| Thu, 08 Mar 2012 22:04:40 +0100 | wenzelm | merged | changeset | files |
| Thu, 08 Mar 2012 16:49:24 +0000 | paulson | Structured and calculation-based proofs (with new trans rules!) | changeset | files |
| Thu, 08 Mar 2012 16:43:29 +0000 | paulson | Structured and calculation-based proofs (with new trans rules!) | changeset | files |
| Thu, 08 Mar 2012 21:40:15 +0100 | wenzelm | tuned comment; | changeset | files |