Another \Rightarrow -> \tyRightarrow that was missed in the last commit.
authorJoey Capper <jjc@cs.nott.ac.uk>
Tue, 11 Jan 2011 17:40:27 +0000 (17:40 +0000)
committerJoey Capper <jjc@cs.nott.ac.uk>
Tue, 11 Jan 2011 17:40:27 +0000 (17:40 +0000)
commitf3c023a4e8f2babaf7e555e7bdc4185f2d2f62b8
treef9383af760335b9a4781b9b3b48573889f087d5d
parent56de533d81255844d327590425fe64bac7af525a
Another \Rightarrow -> \tyRightarrow that was missed in the last commit.
refined.lhs