summaryrefslogtreecommitdiff
path: root/backends/hol4/divDefLibTestTheory.sig (follow)
Commit message (Expand)AuthorAgeFilesLines
* Make the unfolding theorems collection from evalLib persistentSon Ho2023-06-041-0/+9
* Make minor modifications to divDefLibSon Ho2023-06-041-58/+58
* Fix minor issuesSon Ho2023-06-041-0/+434