diff options
| author | David Aspinall | 2003-03-01 12:29:19 +0000 |
|---|---|---|
| committer | David Aspinall | 2003-03-01 12:29:19 +0000 |
| commit | c2a7580cf4f48518675cfdb2a676a4d3037f52e9 (patch) | |
| tree | 2b35d6d5eeed5552a33c77eca0800d8c896153df /hol98/example.sml | |
| parent | e09dcb214463a2c6cb9a3609aa55005af32e5061 (diff) | |
Update doc of X-Sym
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions