ucsd-progsys/liquidhaskell — pull request #65 by nikivazou (2013-04-25 00:46:53+00:00)
Title: funSymbols

Do not add function symbols into fixpoint environment.