summaryrefslogtreecommitdiff
path: root/backends/hol4
diff options
context:
space:
mode:
authorSon Ho2023-10-24 17:48:02 +0200
committerSon Ho2023-10-24 17:48:02 +0200
commita1f3bbb50d44d7ba881b32b8b05b1474276c9a4d (patch)
tree41d21dae4d7e74614b002fe832dd081ac53a2ea6 /backends/hol4
parent6eebc66e34561bc6985b5866d49c8314a6fbaee9 (diff)
parentc3c7ca132b0dc0c4ea9205876932decda63baca1 (diff)
Merge branch 'son_traits' into son_traits_types
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions