diff options
author | Son Ho | 2023-07-18 16:55:27 +0200 |
---|---|---|
committer | Son Ho | 2023-07-18 16:55:27 +0200 |
commit | 0f430c055c3a531ceab83635adc5df92f0015c6e (patch) | |
tree | f76f1ad4ad424d872d2d3760fc9379d0ad8208ec /tests/hol4/misc-constants | |
parent | e07177ee2de3fd1346ab6b1fc09aefbcb0e24459 (diff) |
Make modifications to Vec.lean
Diffstat (limited to 'tests/hol4/misc-constants')
0 files changed, 0 insertions, 0 deletions