diff options
| author | David Aspinall | 2002-06-11 20:03:11 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-06-11 20:03:11 +0000 |
| commit | bc88f1d61c047fe46faab566c6abf962eb7a9dec (patch) | |
| tree | 1880f585df534a48bf5cf51ad9b9b0807c214aaf /html/smallheader.html | |
| parent | 50dd6fc90665dd805277257b40c93380a535daa2 (diff) | |
Improved proof-nesting-depth (not finished yet)
Diffstat (limited to 'html/smallheader.html')
0 files changed, 0 insertions, 0 deletions