From: Matthijs Kooijman <matthijs@stdin.nl>
Date: Mon, 31 Aug 2009 16:32:35 +0000 (+0200)
Subject: Reorder and complete the list of transformations.
X-Git-Tag: final-thesis~271
X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=commitdiff_plain;h=4521ef7f14ae52781329c17250f67d25d9a67dca;hp=4521ef7f14ae52781329c17250f67d25d9a67dca

Reorder and complete the list of transformations.

This does not add any content, except for updating β-reduction.
---