From: Matthijs Kooijman <m.kooijman@student.utwente.nl>
Date: Tue, 30 Jun 2009 17:38:07 +0000 (+0200)
Subject: Add two transforms for argument simplification.
X-Git-Tag: final-thesis~319
X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=commitdiff_plain;h=70ce03a503dc915067321c2b321038ab0ce43586;hp=70ce03a503dc915067321c2b321038ab0ce43586

Add two transforms for argument simplification.

Also, add some text describing why the transforms are neccesary and how
they work.
---