summaryrefslogtreecommitdiff
path: root/backends/hol4/primitivesArithTheory.sig (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Organize a bit the HOL filesSon Ho2023-06-041-0/+100