Paul Eggert wrote: > Most of that documentation talks about internals to the 'verify' > module. Wouldn't it be better to put the internals elsewhere, and > have the documentation talk only about behavior that users of 'verify' > care about?
Good; fine with me too. Bruno
