summaryrefslogtreecommitdiff
path: root/backends/hol4/primitivesTheory.sig (unfollow)
Commit message (Expand)AuthorFilesLines
2023-06-04Start working on divDefLib for diverging definitionsSon Ho1-11/+11
2023-06-04Make progress on the standard library for HOL4Son Ho1-2/+2
2023-06-04Cleanup a bitSon Ho1-5/+0
2023-06-04Make progress on primitivesScriptSon Ho1-166/+125
2023-06-04Make more progress on primitivesScript.smlSon Ho1-148/+136
2023-06-04Use lower case in the names for the HOL4 backendSon Ho1-403/+401
2023-06-04Make progress on primitivesScript.sml and experiment a bitSon Ho1-81/+312
2023-06-04Organize a bit the HOL filesSon Ho1-74/+19
2023-06-04Add a HolmakefileSon Ho1-0/+1667