diff options
| author | David Aspinall | 1999-11-08 15:45:47 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-08 15:45:47 +0000 |
| commit | a90f26e3eb52582e4c3107b83ff00b6abaf8054e (patch) | |
| tree | 45706b275b01f3f0dbd42f8e800843bf1a33f65f /html | |
| parent | ce036f15424d49605d22613b7a588c75f931b003 (diff) | |
proof-prf-string -> proof-showproof-command
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions