summaryrefslogtreecommitdiff
path: root/tests/hol4/misc-paper
diff options
context:
space:
mode:
authorSon Ho2023-10-06 12:23:26 +0200
committerSon Ho2023-10-06 12:23:26 +0200
commitaf78286d801b26bf7a70b8815619591d48245cb8 (patch)
tree73ba66fe81fa45b4421922abc8e2e19667e98153 /tests/hol4/misc-paper
parente684179ff9c582495b720c3b1310e0648ca24a58 (diff)
Slightly improve formatting of the generated code
Diffstat (limited to 'tests/hol4/misc-paper')
0 files changed, 0 insertions, 0 deletions