1 commit

Author	SHA1	Message	Date
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