diff options
| author | David Aspinall | 2001-09-03 10:44:21 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-09-03 10:44:21 +0000 |
| commit | 3c8a94d1f6fb0dc628466ac431d1d6a753ab20dc (patch) | |
| tree | ecb0cad9505d9b714c576c88b0e2c63bb3b099b8 /doc | |
| parent | e2383e29558ed59085c17569fab010a34bcfc824 (diff) | |
Mention hiding proofs.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions