diff options
author | Son Ho | 2024-01-25 11:52:54 +0100 |
---|---|---|
committer | Son Ho | 2024-01-25 11:52:54 +0100 |
commit | da9a2fb410bde569fea11a4c1507f98ab4250e41 (patch) | |
tree | 742a5784c7a4c05308392236e374404ce7b1ebf4 /backends/hol4/primitivesArithScript.sml | |
parent | 5851f26eda59997fca971fa67bc9b6062f398871 (diff) |
Make a minor modification
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions