summaryrefslogtreecommitdiff
path: root/backends/hol4/testScript.sml (follow)
Commit message (Expand)AuthorAgeFilesLines
* Start working on divDefLib for diverging definitionsSon Ho2023-06-041-4/+5
* Make progress on primitivesScript.sml and experiment a bitSon Ho2023-06-041-4/+4
* Organize a bit the HOL filesSon Ho2023-06-041-0/+1746