Wed, 17 Feb 2010 10:12:01 +0100 Cezary Kaliszyk Code for generating the fv function, no bindings yet.
Wed, 17 Feb 2010 09:27:02 +0100 Cezary Kaliszyk merge
Wed, 17 Feb 2010 09:26:49 +0100 Cezary Kaliszyk indent
Wed, 17 Feb 2010 09:26:38 +0100 Cezary Kaliszyk merge
Wed, 17 Feb 2010 09:26:10 +0100 Cezary Kaliszyk Simplifying perm_eq
Tue, 16 Feb 2010 15:13:14 +0100 Cezary Kaliszyk merge
Tue, 16 Feb 2010 15:12:31 +0100 Cezary Kaliszyk indenting
Tue, 16 Feb 2010 15:12:49 +0100 Cezary Kaliszyk Minor
Tue, 16 Feb 2010 14:57:39 +0100 Cezary Kaliszyk Merge
Tue, 16 Feb 2010 14:57:22 +0100 Cezary Kaliszyk Ported Stefan's permutation code, still needs some localizing.
Mon, 15 Feb 2010 16:54:09 +0100 Cezary Kaliszyk merge
Mon, 15 Feb 2010 16:53:51 +0100 Cezary Kaliszyk Removed varifyT.
(0) -1000 -300 -100 -12 +12 +100 +300 +1000 tip