diff options
| author | David Aspinall | 2000-12-14 18:56:55 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-12-14 18:56:55 +0000 |
| commit | cbf3ddcba2fcbb4c601607cb2702433f1bb7a20b (patch) | |
| tree | c840d4af95efa4c5f25e64ed17c840bfe669605c /html/smallheader.html | |
| parent | 308268ce68ed6b9e86e47abd3a597767f609c09b (diff) | |
Generalise proof-format-filename
Diffstat (limited to 'html/smallheader.html')
0 files changed, 0 insertions, 0 deletions