ucsd-progsys/liquid-fixpoint — pull request #32 by panagosg7 (2014-04-12 00:55:57+00:00)
Title: Changes to accomodate RefScript.

These are changes I made after all for RefScript.