ucsd-progsys/liquid-fixpoint — pull request #42 by ranjitjhala (2014-10-07 19:38:57+00:00)
Title: Emptyuif

Various SUPER-HACKY changes to support proper empty sets. Co-ordinated with LH PR: XXX