Mon, 01 Feb 2010 11:16:13 +0100 Cezary Kaliszyk More proofs in the LF example.
Mon, 01 Feb 2010 11:00:51 +0100 Christian Urban merged
Mon, 01 Feb 2010 10:00:03 +0100 Christian Urban slight tuning
Mon, 01 Feb 2010 09:47:46 +0100 Christian Urban renamed function according to the name of the constant
Mon, 01 Feb 2010 09:04:22 +0100 Christian Urban fixed problem with Bex1_rel renaming
Mon, 01 Feb 2010 09:56:32 +0100 Cezary Kaliszyk Ported LF to the generic lambda and solved the simpler _supp cases.
(0) -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 tip