summaryrefslogtreecommitdiff
path: root/tests/coq/misc/External_FunsExternal.v
diff options
context:
space:
mode:
authorSon Ho2024-03-08 23:53:50 +0100
committerSon Ho2024-03-08 23:53:50 +0100
commit8f1972dddbd25ff2153bdf3dabd743256fec03a4 (patch)
tree6eca36d3269b08c2a922e29290cd1d4d9f456d26 /tests/coq/misc/External_FunsExternal.v
parent457888a031c870edc4576068ec647987800f0fb7 (diff)
Add some comments
Diffstat (limited to 'tests/coq/misc/External_FunsExternal.v')
0 files changed, 0 insertions, 0 deletions