[Agda] `abstract' on Web keywords

[Sergei Meshveliani]

On Tue, 2013-05-14 at 14:38 +0400, Sergei Meshveliani wrote:
> [..]

> 3. I thought that in my application almost all lemma proofs can be
> abstracted. Because other parts are not likely to analyze the structure
> of the corresponding proof data 


Probably, I have confused things.
It needs to be said
"Because checking any function  f  outside of the abstract scope does
not need to unfold inside f the body of the this abstracted function".

Regards,

------
Sergei