summaryrefslogtreecommitdiff
path: root/backends/hol4/divDefLibTestScript.sml (follow)
Commit message (Expand)AuthorAgeFilesLines
* Cleanup a bit the HOL4 backend and implement eval_convSon Ho2023-06-041-1/+2
* Make good progress on generating code for HOL4Son Ho2023-06-041-6/+1
* Fix minor issuesSon Ho2023-06-041-4/+61
* Fix minor issuesSon Ho2023-06-041-4/+8
* Do more cleanupSon Ho2023-06-041-0/+29