diff options
| author | Pierre Courtieu | 2004-03-16 16:20:27 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2004-03-16 16:20:27 +0000 |
| commit | 198afc029bad97919e10ade53d49122ca0eb7c7b (patch) | |
| tree | b715cdf00f0d52ed4d85706ad24a8dc14e9bb67f /hol98/example.sml | |
| parent | 08170a5b4cc0a034654380b68c3280ab77081c1c (diff) | |
added the abbreviation of Hint Rewrite.
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions