| Fri, 09 Mar 2012 21:17:21 +0100 | haftmann | more precise checking for wellformedness of mapper, before and after morphism application | changeset | files |
| Fri, 09 Mar 2012 20:50:28 +0100 | haftmann | reject mapper terms with type variables not contained in the term's type | changeset | files |
| Fri, 09 Mar 2012 20:17:16 +0100 | haftmann | always bracket case expressions in Scala | changeset | files |
| Fri, 09 Mar 2012 20:04:19 +0100 | wenzelm | tuned signature; | changeset | files |
| Fri, 09 Mar 2012 17:24:42 +0000 | paulson | merges | changeset | files |
| Fri, 09 Mar 2012 17:24:00 +0000 | paulson | More calculation-based cardinality proofs | changeset | files |
| Fri, 09 Mar 2012 15:39:06 +0000 | sultana | split make_tptp_parser into two scripts, for parser and lib respectively; | changeset | files |