Wed, 12 May 2010 16:08:32 +0200 | Cezary Kaliszyk | Use raw_induct instead of induct | changeset | files |
Wed, 12 May 2010 14:47:52 +0100 | Christian Urban | ingnored parameters in equivariance; added a proper interface to be called from ML | changeset | files |
Wed, 12 May 2010 13:43:48 +0100 | Christian Urban | properly exported defined bn-functions | changeset | files |
Tue, 11 May 2010 18:20:25 +0200 | Cezary Kaliszyk | Include raw permutation definitions in eqvt | changeset | files |