|
coq
|
Use a patch to fix make 3.82 build of Coq
|
2010-11-23 05:54:58 +00:00 |
|
eProver
|
Fix installation for updated E prover release
|
2010-08-26 04:34:20 +00:00 |
|
hol
|
pkgs/applications/science/logic/hol: initial version
|
2010-08-25 19:50:24 +00:00 |
|
hol_light
|
Update HOL Light
|
2010-11-03 22:20:05 +00:00 |
|
isabelle
|
svn path=/nixpkgs/trunk/; revision=22880
|
2010-08-02 16:01:55 +00:00 |
