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