Wed, 12 May 2010 16:08:32 +0200 Use raw_induct instead of induct
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 12 May 2010 16:08:32 +0200] rev 2108
Use raw_induct instead of induct
Wed, 12 May 2010 14:47:52 +0100 ingnored parameters in equivariance; added a proper interface to be called from ML
Christian Urban <urbanc@in.tum.de> [Wed, 12 May 2010 14:47:52 +0100] rev 2107
ingnored parameters in equivariance; added a proper interface to be called from ML
Wed, 12 May 2010 13:43:48 +0100 properly exported defined bn-functions
Christian Urban <urbanc@in.tum.de> [Wed, 12 May 2010 13:43:48 +0100] rev 2106
properly exported defined bn-functions
Tue, 11 May 2010 18:20:25 +0200 Include raw permutation definitions in eqvt
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 11 May 2010 18:20:25 +0200] rev 2105
Include raw permutation definitions in eqvt
(0) -1000 -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 +1000 tip