Added issue related to the erasure of proof terms.
Added issue related to the erasure of proof terms.

Ignore-this: 20fecaf1f2a20f09bc0d4b0e6c34f040

darcs-hash:20110820025417-3bd4e-bef58805884c49a9f400122415aa8975444763d7.gz

asr/fotc,asr/fotc