Tue, 25 Aug 2009 00:30:23 +0200 Christian Urban added the prove command
Fri, 21 Aug 2009 13:56:20 +0200 Cezary Kaliszyk Fixed
Fri, 21 Aug 2009 13:36:58 +0200 Christian Urban tuned
Thu, 20 Aug 2009 14:44:29 +0200 cek UNION - Append theorem
(0) -4 +4 +10 +30 +100 +300 +1000 +3000 tip