Wed, 23 Sep 2009 16:44:56 +0200 Cezary Kaliszyk Using "atomize" the versions with arbitrary Trueprops can be proven.
Tue, 22 Sep 2009 17:39:52 +0200 Cezary Kaliszyk Proper definition of CARD and some properties of it.
Tue, 22 Sep 2009 09:42:27 +0200 Christian Urban some comments
Mon, 21 Sep 2009 18:18:29 +0200 Christian Urban merged
(0) -10 -4 +4 +10 +30 +100 +300 +1000 +3000 tip