{"shas":[["be68f0bf5b602e5f265f34e32ed0a68e66e59c35","ca52830902e3c33feb21efcaaa89ea8c0a9c1b3b@ecs.vuw.ac.nz","Renaming of some files.","DavePearce"],["c93bafe2171fccdf01b3194589824fbca539d395","ca52830902e3c33feb21efcaaa89ea8c0a9c1b3b@ecs.vuw.ac.nz","Making progress on simplification of types ...","DavePearce"],["08fb9df74e5f74259996cb4113496846c9978c9a","ca52830902e3c33feb21efcaaa89ea8c0a9c1b3b@ecs.vuw.ac.nz","Bug fix for rewriting intersections.","DavePearce"]],"ref":"refs/heads/devel","size":3,"head":"08fb9df74e5f74259996cb4113496846c9978c9a","push_id":42350159}