diff options
| author | Son Ho | 2023-10-17 09:36:55 +0200 |
|---|---|---|
| committer | Son Ho | 2023-10-17 09:48:47 +0200 |
| commit | 584726e9c4e4378129a35f6cfbbbf934448d10a9 (patch) | |
| tree | 4e9c385d1115e71acb7581ab998320af867830bc /backends/hol4/divDefLib.sml | |
| parent | 2ec2e374302c772ff2c6a26e39451b4e49e13a16 (diff) | |
Implement tactics for termination proofs which involve arithmetic
Diffstat (limited to 'backends/hol4/divDefLib.sml')
0 files changed, 0 insertions, 0 deletions