diff options
author | 1999-11-14 12:17:41 +0000 | |
---|---|---|
committer | 1999-11-14 12:17:41 +0000 | |
commit | 5dd305339e5b4f1ab8883349301916a3d2ac118f (patch) | |
tree | a353b872c054f2ff1e38bd6b536d428de3454ced /generic/proof.el | |
parent | b987d7b68b2ae14ddc30710d7e733d9c28c41667 (diff) |
docstring
Diffstat (limited to 'generic/proof.el')
0 files changed, 0 insertions, 0 deletions