ebf1c94d8d2bb963b226c8d1f33d36268fb24b57
-rw-r--r-- 29522 Rules.lhs
-rw-r--r-- 42983 SpecConstr.lhs
-rw-r--r-- 43445 Specialise.lhs