diff options
| author | David Aspinall | 2002-08-26 14:12:48 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-26 14:12:48 +0000 |
| commit | 5301fd94b22fa5e59dfcccc19e89e2f3faccd21e (patch) | |
| tree | d02db01c4c7a9dfb9f02fae66f5e62371254f944 /hol98/example.sml | |
| parent | a72c28f466ecccb4e98a8f8e2436b9e7abaf8d86 (diff) | |
Add example of sub/sup/bold in comment.
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions