Added validation to Agda for duplicate local hints.
Added validation to Agda for duplicate local hints.

Ignore-this: adadd0dda9d2a1e7e59db5ffc3ce2641

darcs-hash:20120531141535-3bd4e-a1858f415cc64adc360040415f02ec2e4597c2f5.gz

asr/fotc,asr/fotc