spechub/Hets — pull request #1347 by cmaeder (2014-08-29 09:28:56+00:00)
Title: Quantify free vars

I did not bother to make a separate pull-request for both commits.
Please review