Minor tweak
authorHenrik Nilsson <nhn@cs.nott.ac.uk>
Thu, 14 Oct 2010 14:32:07 +0000 (15:32 +0100)
committerHenrik Nilsson <nhn@cs.nott.ac.uk>
Thu, 14 Oct 2010 14:32:07 +0000 (15:32 +0100)
commit9925d6f8e018ad8b81c54c093607d86e80d46fa4
treeaf984cc671ae07b0f2eb45f919ae266d42eef107
parentcc38736e15b5744c65a55a589a69fb422e4625f7
Minor tweak

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