Marco Maggesi c713b0ed67 Preliminary version of package ssreflect ... Add expression for ssreflect, an extension to the Coq Proof Assistant. Still has some clitches (see TODO in default.nix) but is usable anyway. svn path=/nixpkgs/trunk/; revision=18145		2009-11-05 15:08:12 +00:00
..
coq	Updated Coq to version 8.2pl1	2009-11-02 11:44:27 +00:00
ssreflect	Preliminary version of package ssreflect	2009-11-05 15:08:12 +00:00