People, I try to find the manual on `abstract' in the Web reference manual on http://wiki.portal.chalmers.se/agda/pmwiki.php?n=ReferenceManual.Keywords Clicking at `data' shows the docs on `data'. But clicking at `abstract' displays several sections on modules where I do not find the word `abstract'. Am I missing something? Thanks, ------ Sergei