38c755be02c70697f79edaacf54c63c0bd442a8f
-rw-r--r-- 41425 Rules.lhs
-rw-r--r-- 63518 SpecConstr.lhs
-rw-r--r-- 71032 Specialise.lhs