Add two transforms for argument simplification.
authorMatthijs Kooijman <m.kooijman@student.utwente.nl>
Tue, 30 Jun 2009 17:38:07 +0000 (19:38 +0200)
committerMatthijs Kooijman <m.kooijman@student.utwente.nl>
Tue, 30 Jun 2009 17:38:07 +0000 (19:38 +0200)
commit70ce03a503dc915067321c2b321038ab0ce43586
tree8e016b474b333e9fd66ae733b2f6829902fe0518
parentc5928a5f3125abb89a1a9d09d7762d0ac12f95a9
Add two transforms for argument simplification.

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