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 /backends/hol4/primitivesArithScript.sml | |
parent | e07177ee2de3fd1346ab6b1fc09aefbcb0e24459 (diff) |
Make modifications to Vec.lean
Diffstat (limited to 'backends/hol4/primitivesArithScript.sml')
0 files changed, 0 insertions, 0 deletions