changeset | 5ecf67553da8 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | -unifyMore |
files |
changeset | d6c45026240d |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Do a lot more type simplification for error messages |
files |