Cleanup of FHM.agda.
authorJoey Capper <jjc@cs.nott.ac.uk>
Fri, 17 Jun 2011 17:24:37 +0000 (10:24 -0700)
committerJoey Capper <jjc@cs.nott.ac.uk>
Fri, 17 Jun 2011 17:24:37 +0000 (10:24 -0700)
commit876628948ef9f9e67310bd22d5cabf7760d8215e
tree9f6a99bf55582ce819ebd1cd32a94c057239b894
parent6888ad5972b7858fda3853c9dcb6ebe9e1dc5bae
Cleanup of FHM.agda.
FHM.agda