summaryrefslogtreecommitdiff
path: root/tests/coq/misc/External_FunsExternal_Template.v
diff options
context:
space:
mode:
authorSon Ho2024-03-18 01:39:07 +0100
committerSon Ho2024-03-18 01:39:07 +0100
commita8ebfc3947adb052f36775c664e43a8dc7434660 (patch)
tree36483b7751a495315aa4efb6ae423833c10b6e93 /tests/coq/misc/External_FunsExternal_Template.v
parentd56946242859e0d375c1d44585b9da6d5fbe94cb (diff)
Make good progress on adding generics to global constants
Diffstat (limited to 'tests/coq/misc/External_FunsExternal_Template.v')
0 files changed, 0 insertions, 0 deletions