2 commits

Author	SHA1	Message	Date
Michael Raskin	4f6c18925d	Fix installation for updated E prover release ... svn path=/nixpkgs/trunk/; revision=23435	2010-08-26 04:34:20 +00:00
Michael Raskin	05c7e81eaa	Move E prover to applications/science/logic ... svn path=/nixpkgs/trunk/; revision=23434	2010-08-25 22:38:11 +00:00