diff options
| author | Erik Martin-Dorel | 2016-07-26 00:05:52 +0200 |
|---|---|---|
| committer | Erik Martin-Dorel | 2016-07-26 00:05:52 +0200 |
| commit | 04e8a323da07c67031f4c0e23a020ba245938a0c (patch) | |
| tree | d8e3430c3a4c8270fb668b944e83a47b1b0985fc /hol98/example.sml | |
| parent | 026a3a7f984259c65ffa707c6bb8196c311a2f4b (diff) | |
Rename FAQ -> FAQ.md
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions