Michael Raskin a453e49511 Adding E-KRHyper theorem prover		2013-05-23 14:41:12 +04:00
..
default.nix	Adding E-KRHyper theorem prover	2013-05-23 14:41:12 +04:00
default.upstream	Adding E-KRHyper theorem prover	2013-05-23 14:41:12 +04:00