summaryrefslogtreecommitdiff
path: root/backends/hol4/saveThmsLib.sml (follow)
Commit message (Expand)AuthorAgeFilesLines
* Make the unfolding theorems collection from evalLib persistentSon Ho2023-06-041-182/+93
* Make minor modificationsSon Ho2023-06-041-5/+11
* Start working on saveThmsLibSon Ho2023-06-041-0/+190