diff options
| author | Erik Martin-Dorel | 2016-07-03 18:48:13 +0200 |
|---|---|---|
| committer | Erik Martin-Dorel | 2016-07-03 18:48:13 +0200 |
| commit | 5206520035b2869bc3b51556384790032e681b72 (patch) | |
| tree | 3e972360d084cf2aa11fdb30fefba6fe715fc48c /hol98/example.sml | |
| parent | f7f623797802a33d0b0549e68c12863a55ff8396 (diff) | |
Update a link (for latest version of FAQ).
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions