Wed, 21 Oct 2009 15:01:50 +0200 Cezary Kaliszyk Simplified proof more
Wed, 21 Oct 2009 14:30:29 +0200 Cezary Kaliszyk Cleaning the code
Wed, 21 Oct 2009 14:15:22 +0200 Cezary Kaliszyk Further reorganization
Wed, 21 Oct 2009 14:09:06 +0200 Cezary Kaliszyk Further reorganizing the file
Wed, 21 Oct 2009 13:47:39 +0200 Cezary Kaliszyk Reordering
Wed, 21 Oct 2009 11:50:53 +0200 Cezary Kaliszyk cterm_instantiate also fails for some strange reason...
(0) -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 tip