And some final tweaks
authorHenrik Nilsson <nhn@cs.nott.ac.uk>
Thu, 14 Oct 2010 14:44:53 +0000 (15:44 +0100)
committerHenrik Nilsson <nhn@cs.nott.ac.uk>
Thu, 14 Oct 2010 14:44:53 +0000 (15:44 +0100)
commit06a32bfa088462a58a012a49392cc6da828a5a33
tree322be6615ca1b14dfe277c11cc99c5face5b7530
parent9925d6f8e018ad8b81c54c093607d86e80d46fa4
And some final tweaks

modified:   type-system.lhs
type-system.lhs