Fixed import bug.
authorJoey Capper <jjc@cs.nott.ac.uk>
Fri, 17 Jun 2011 01:54:58 +0000 (18:54 -0700)
committerJoey Capper <jjc@cs.nott.ac.uk>
Fri, 17 Jun 2011 01:54:58 +0000 (18:54 -0700)
commit07778b226e3cb17df6a15d76e735be1c1cfbcfa0
tree13216955f664de91c99e387a1f2dd432ef51cfe3
parent2a47121a8bc42356e6f6cf717892ff7be743e456
Fixed import bug.
FHM.agda