diff options
| author | Erik Martin-Dorel | 2020-05-04 14:50:11 +0200 |
|---|---|---|
| committer | Erik Martin-Dorel | 2020-05-04 14:50:11 +0200 |
| commit | 395f6f076ed4061417b4a5747797dab413ad2453 (patch) | |
| tree | 492251f84a66e639de4df1ee242d37bbfc462d6c /hol98/example.sml | |
| parent | 141fa6c9dfa50a4df94eb98ade46c4c1a08b4b9c (diff) | |
docs: Add docstrings in tests
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions