UCSD-PL/RefScript — pull request #86 by bmcfluff (2014-12-11 00:07:10+00:00)
Title: Prelude update

Added "{ | true}" refinements and other mostly aesthetic changes to prelude. Fixed a test that this revealed to be broken.