Really revert all of the recent rotating changes.
[matthijs/master-project/cλash.git] / CLasH / Normalize /
drwxr-xr-x   ..
-rw-r--r-- 7889 NormalizeTools.hs
-rw-r--r-- 1447 NormalizeTypes.hs