From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Sat, 4 Jun 2011 01:16:48 +0000 (-0700)
Subject: fix bugs in Unify.hs, store unifiers in fully-resolved form
X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=commitdiff_plain;h=12384b2baca49dfe1151c3a6479a8d7b08d470e4;hp=12384b2baca49dfe1151c3a6479a8d7b08d470e4

fix bugs in Unify.hs, store unifiers in fully-resolved form
---