summaryrefslogtreecommitdiff
path: root/backends/hol4/primitivesScript.sml (follow)
Commit message (Expand)AuthorAgeFilesLines
* Cleanup a bit and reorganizeSon Ho2023-06-041-0/+3
* Start working on divDefLib for diverging definitionsSon Ho2023-06-041-2/+2
* Make progress on the standard library for HOL4Son Ho2023-06-041-78/+3
* Cleanup a bitSon Ho2023-06-041-178/+3
* Make progress on primitivesScriptSon Ho2023-06-041-28/+16
* Make more progress on primitivesScript.smlSon Ho2023-06-041-61/+55
* Use lower case in the names for the HOL4 backendSon Ho2023-06-041-329/+222
* Make progress on primitivesScript.sml and experiment a bitSon Ho2023-06-041-0/+177
* Make progress on the primitives library for HOL4Son Ho2023-06-041-9/+175
* Organize a bit the HOL filesSon Ho2023-06-041-0/+1270