2 commits

Author	SHA1	Message	Date
Michael Raskin	e7b491a7e1	Update E prover	2013-04-21 16:30:40 +04:00
Michael Raskin	1c3434cc16	Update E prover	2012-12-09 00:36:38 +04:00

Renamed from pkgs/applications/science/logic/eProver/default.nix (Browse further)