summaryrefslogtreecommitdiff
path: root/backends/hol4/primitivesLib.sml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Make the unfolding theorems collection from evalLib persistentSon Ho2023-06-041-0/+15
|
* Cleanup a bit the HOL4 backend and implement eval_convSon Ho2023-06-041-4/+1
|
* Improve the performance of dependent rewrites by using netsSon Ho2023-06-041-9/+14
|
* Start working on divDefLib for diverging definitionsSon Ho2023-06-041-45/+0
|
* Reorganize the HOL4 files and fix some issues with the arithmetic proofsSon Ho2023-06-041-2/+550
|
* Organize a bit the HOL filesSon Ho2023-06-041-0/+9