Michael Raskin 8dc61a6519 Update EKRHyper		2014-03-08 21:12:59 +04:00
..
default.nix	Update EKRHyper	2014-03-08 21:12:59 +04:00
default.upstream	Adding E-KRHyper theorem prover	2013-05-23 14:41:12 +04:00