Added soundness statements for sigrel z where q, and sigrel \empty where q.
authorJoey Capper <jjc@cs.nott.ac.uk>
Wed, 13 Oct 2010 16:13:45 +0000 (17:13 +0100)
committerJoey Capper <jjc@cs.nott.ac.uk>
Wed, 13 Oct 2010 16:13:45 +0000 (17:13 +0100)
commit45dcae0e4049ee6054fee35ef022503ee164afb2
tree3f58f552423ef49446ceaf06fe20220a64a0e761
parent4136c347e94a4d44ebba8aa65fe9df83d3c5ea15
Added soundness statements for sigrel z where q, and sigrel \empty where q.
type-system.lhs