summaryrefslogtreecommitdiff
path: root/backends/hol4/ilistScript.sml (follow)
Commit message (Expand)AuthorAgeFilesLines
* Make progress on the standard library for HOL4Son Ho2023-06-041-5/+32
* Make progress on primitivesScriptSon Ho2023-06-041-0/+82