diff options
| author | cvs2git | 2003-02-19 13:02:18 +0000 |
|---|---|---|
| committer | cvs2git | 2003-02-19 13:02:18 +0000 |
| commit | 2be75c8ee0bafcf9534bd6bb13739b0f37b343d9 (patch) | |
| tree | f4f0ff87c9b1c8e1b201c6040986951880a49f13 /hol98/example.sml | |
| parent | e32cdcec6ea48773c37102fbbdddbc0b68b74b07 (diff) | |
This commit was manufactured by cvs2git to create branch 'xsym'.
Cherrypick from master 2003-02-19 13:02:17 UTC David Aspinall <da@inf.ed.ac.uk> 'New files.':
x-symbol/README.ProofGeneral
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions