Minor changes
authorJoey Capper <jjc@cs.nott.ac.uk>
Tue, 12 Jul 2011 11:34:16 +0000 (12:34 +0100)
committerJoey Capper <jjc@cs.nott.ac.uk>
Tue, 12 Jul 2011 11:34:16 +0000 (12:34 +0100)
commit5aba6412e428d75d0785f4e4ebfeafd25ef70503
tree92515435bcb6a25f8a843b96c520227cbbafdb3e
parent876628948ef9f9e67310bd22d5cabf7760d8215e
Minor changes
Normals.agda
Terms.agda
Weakening.agda