\Rightarrow -> \tyRightarrow in soundness statements.
authorJoey Capper <jjc@cs.nott.ac.uk>
Tue, 11 Jan 2011 17:38:33 +0000 (17:38 +0000)
committerJoey Capper <jjc@cs.nott.ac.uk>
Tue, 11 Jan 2011 17:38:33 +0000 (17:38 +0000)
commit56de533d81255844d327590425fe64bac7af525a
tree8675dfa1584e6b09f9282d2d6ed4117f9dfd1759
parent2c3f3e18285a96e1a43ba92599d6b6ef1d2a1b8d
\Rightarrow -> \tyRightarrow in soundness statements.
refined.lhs