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
Fri, 21 Aug 2009 13:36:58 +0200 Christian Urban tuned
(0) -4 +4 +10 +30 +100 +300 +1000 +3000 tip