diff options
| author | David Aspinall | 2000-05-12 17:04:32 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-12 17:04:32 +0000 |
| commit | ce32d072c45141b49ce6ab6103f9f9a455b9981f (patch) | |
| tree | b3289f7d8eb721cd5994faeb2acb1553b4049ff4 /html | |
| parent | e5ce347ca48e06d010aef92ddcdde277946f9aa2 (diff) | |
Use (proof-ass X) instead of function call.
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions