diff options
author | Son Ho | 2023-08-02 17:43:13 +0200 |
---|---|---|
committer | Son Ho | 2023-08-02 17:43:13 +0200 |
commit | f6b4aade7b4a60ed589440af042b44c65c9fcb92 (patch) | |
tree | c8f81fd76a1fdf9aaf56caf210b8acd346c1b33d /tests/coq/misc/_CoqProject | |
parent | 0e322fcba2794536f0ee7a3d65ac5831f80fe085 (diff) |
Add the function signatures in Assumed.ml
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions