Add some more transformations.
authorMatthijs Kooijman <m.kooijman@student.utwente.nl>
Wed, 1 Jul 2009 14:35:15 +0000 (16:35 +0200)
committerMatthijs Kooijman <m.kooijman@student.utwente.nl>
Wed, 1 Jul 2009 14:35:15 +0000 (16:35 +0200)
commitf3d8c0e61d2df140a1c6b83e720629383162e78c
treec142cf86549427a064800ee7278ff8a3255d6476
parent0028507a3d326add5d45d20cfe750ef964d9b3f0
Add some more transformations.

Also, restructure the argument simplification a bit, since it turns out
argument extraction applies to builtin functions as well.
Core2Core.tex