diff options
| author | David Aspinall | 1999-10-06 11:18:56 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-10-06 11:18:56 +0000 |
| commit | d4316a2d63c9c2b12cdce73e62cd435d7ff01002 (patch) | |
| tree | c5eff6a0c98f2d73725cba83d4f0ceea1b9fa6ec /html/header.phtml | |
| parent | a7928b121ae5c356eac5e2f48f32faca404a7ce3 (diff) | |
More improvements/fixes for closing unfinished proofs.
Added proof-unnamed-theorem-name.
Diffstat (limited to 'html/header.phtml')
0 files changed, 0 insertions, 0 deletions