summaryrefslogtreecommitdiff
path: root/backends/hol4/divDefLibTestTheory.sig (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Update the HOL4 proofs for the last *release* version of HOL4Son Ho2023-06-041-5/+0
|
* 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