3 commits

Author	SHA1	Message	Date
Michael Raskin	6944de0f94	Updating EProver to 1.8	2013-10-20 21:03:04 +04:00
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