Tue, 25 Aug 2009 10:35:28 +0200 Cezary Kaliszyk - Build an interpretation for fset from ML level and use it
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
(0) -3 +3 +10 +30 +100 +300 +1000 +3000 tip