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.
Mon, 15 Feb 2010 17:02:46 +0100 Christian Urban merged
Mon, 15 Feb 2010 17:02:26 +0100 Christian Urban 2-spaces rule (where it makes sense)
Mon, 15 Feb 2010 16:52:32 +0100 Cezary Kaliszyk merge
Mon, 15 Feb 2010 16:51:30 +0100 Cezary Kaliszyk Fixed the definition of less and finished the missing proof.
Mon, 15 Feb 2010 16:50:11 +0100 Christian Urban further tuning
Mon, 15 Feb 2010 16:37:48 +0100 Christian Urban small tuning
(0) -1000 -300 -100 -15 +15 +100 +300 +1000 tip