summaryrefslogtreecommitdiff
path: root/tests/hol4/misc-polonius_list
diff options
context:
space:
mode:
authorSon Ho2023-07-20 12:08:09 +0200
committerSon Ho2023-07-20 12:08:09 +0200
commit6ef1d360b89fd9f9383e63609888bf925a6a16ab (patch)
tree32622c6273f0feed88c595bcfd48c85a5dac7505 /tests/hol4/misc-polonius_list
parentd87e35e1a53b2252cc2c8c554216115773fd9678 (diff)
Improve progress further and move some lemmas
Diffstat (limited to 'tests/hol4/misc-polonius_list')
0 files changed, 0 insertions, 0 deletions