Removed the unnecessary signal context morphism from the definition of SR values.
authorJoey Capper <jjc@cs.nott.ac.uk>
Wed, 23 May 2012 12:42:41 +0000 (13:42 +0100)
committerJoey Capper <jjc@cs.nott.ac.uk>
Wed, 23 May 2012 12:42:41 +0000 (13:42 +0100)
commitae57df3e02567ed3cf2be3e42f2fb28c41ecc1a5
tree26f301049f57386b595c5810bb2b60a074a000f1
parent25c39576233182268f2ade344dc403d2bef9a6bb
Removed the unnecessary signal context morphism from the definition of SR values.
JFP/Model.agda
JFP/Reification.agda
JFP/Values.agda
JFP/Weakening.agda