summaryrefslogtreecommitdiff
path: root/backends/hol4/primitivesTheory.sig (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Start working on divDefLib for diverging definitionsSon Ho2023-06-041-11/+11
|
* Make progress on the standard library for HOL4Son Ho2023-06-041-2/+2
|
* Cleanup a bitSon Ho2023-06-041-5/+0
|
* Make progress on primitivesScriptSon Ho2023-06-041-166/+125
|
* Make more progress on primitivesScript.smlSon Ho2023-06-041-148/+136
|
* Use lower case in the names for the HOL4 backendSon Ho2023-06-041-403/+401
|
* Make progress on primitivesScript.sml and experiment a bitSon Ho2023-06-041-81/+312
|
* Organize a bit the HOL filesSon Ho2023-06-041-0/+1612