| Wed, 12 May 2010 16:09:38 +0200 | Cezary Kaliszyk | merge | changeset | files |
| 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 |
| Tue, 11 May 2010 17:16:57 +0200 | Cezary Kaliszyk | Declare alpha_gen_eqvt as eqvt and change the proofs that used 'eqvts[symmetric]' | changeset | files |
| Tue, 11 May 2010 14:58:46 +0100 | Christian Urban | a bit for the introduction of the q-paper | changeset | files |