3d2f75d7fd4502717af1ad9f0559be2f9bb7bf20
-rw-r--r-- 7889 NormalizeTools.hs
-rw-r--r-- 1447 NormalizeTypes.hs