diff options
| author | David Aspinall | 1998-11-12 14:22:19 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-12 14:22:19 +0000 |
| commit | 09ed42703bd2b3400996e7fdd8ff6850307fa91c (patch) | |
| tree | 6a0fcc4add9160514b36fba8cd1ceb342af98cb1 /html | |
| parent | b8fa44e9b8bcb2074424ce55ecea0de8ed62914b (diff) | |
Minor improvement to atrocious performance of proof-sement-up-to.
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions