| Thu, 05 Apr 2012 00:37:22 +0100 | sultana | tuned; | changeset | files |
| Wed, 04 Apr 2012 21:57:39 +0100 | sultana | improved import_tptp to use standard TPTP directory structure; extended the TPTP testing theory to include an example of using the import_tptp command; | changeset | files |
| Wed, 04 Apr 2012 20:40:39 +0200 | Cezary Kaliszyk | merge | changeset | files |
| Wed, 04 Apr 2012 20:10:21 +0200 | Cezary Kaliszyk | HOL/Import more precise map types | changeset | files |
| Wed, 04 Apr 2012 20:09:56 +0200 | Cezary Kaliszyk | HOL/Import typed matches against Isabelle typedef result | changeset | files |
| Wed, 04 Apr 2012 19:20:52 +0200 | kuncar | connect the Quotient package to the Lifting package | changeset | files |
| 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 |