From: dimitris@microsoft.com <unknown>
Date: Tue, 19 Oct 2010 17:15:14 +0000 (+0000)
Subject: Midstream changes to deal with spontaneous solving and flatten skolem equivalence... 
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=162c7e780267c73495fb245a873f7e3b8431471b;hp=162c7e780267c73495fb245a873f7e3b8431471b;p=ghc-hetmet.git

Midstream changes to deal with spontaneous solving and flatten skolem equivalence classes
---