summaryrefslogtreecommitdiff
path: root/tests/hol4/betree/Holmakefile
diff options
context:
space:
mode:
authorSon Ho2023-06-26 17:38:49 +0200
committerSon Ho2023-06-26 17:38:49 +0200
commitffdc2f47bc4b21df491e1a2efb6cd19637fb399b (patch)
treefc861c403e78a3ef217eadd7b94cdd2e44c2f523 /tests/hol4/betree/Holmakefile
parent6b319ece09b0f8a02529dd98bc20ffcb843020d6 (diff)
Start working on a better encoding of mut rec defs for Diverge
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions