Thu, 13 May 2010 15:12:05 +0100 | Christian Urban | removed internal functions from the signature (they are not needed anymore) | changeset | files |
Thu, 13 May 2010 10:34:59 +0100 | Christian Urban | added term4 back to the examples | changeset | files |
Thu, 13 May 2010 07:41:18 +0200 | Cezary Kaliszyk | Make Term4 use 'equivariance'. | changeset | files |