diff options
| author | Son Ho | 2023-12-11 19:48:42 +0100 |
|---|---|---|
| committer | Son Ho | 2023-12-11 19:48:42 +0100 |
| commit | 24c5289d0ca039c1c64081285d7d120a04f40699 (patch) | |
| tree | d2d73c3d73f62be0778a46beb428b2d4b59188d4 /tests/hol4/misc-polonius_list | |
| parent | 78367ef21c147b26040e0f6062a907fceab1f390 (diff) | |
Update the validity proofs for higher-order functions
Diffstat (limited to 'tests/hol4/misc-polonius_list')
0 files changed, 0 insertions, 0 deletions