diff options
| author | Son Ho | 2023-07-18 18:02:03 +0200 |
|---|---|---|
| committer | Son Ho | 2023-07-18 18:02:03 +0200 |
| commit | 0a8211041814b5eafac0b9e2dbcd956957a322b5 (patch) | |
| tree | c823a5a3668201ddcc0caded7933dea0061a059a /backends/hol4/saveThmsLib.sig | |
| parent | 0f430c055c3a531ceab83635adc5df92f0015c6e (diff) | |
Move an arithmetic lemma
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions