Marco Maggesi c0f343b752 Update Coq to version 8.2pl2 (patch by roconnor) ...

svn path=/nixpkgs/trunk/; revision=22971

2010-08-05 18:44:42 +00:00

..

coq

Update Coq to version 8.2pl2 (patch by roconnor)

2010-08-05 18:44:42 +00:00

hol_light

Add HOL Light and its dependencies.

2010-02-15 11:00:02 +00:00

isabelle

svn path=/nixpkgs/trunk/; revision=22880

2010-08-02 16:01:55 +00:00

ssreflect

Preliminary version of package ssreflect

2009-11-05 15:08:12 +00:00