summaryrefslogtreecommitdiff
path: root/backends/hol4/saveThmsLib.sig (unfollow)
Commit message (Expand)AuthorFilesLines
2023-06-04Make the theorems used by the progress tactic persistentSon Ho1-1/+6
2023-06-04Commit saveThmsLib.sigSon Ho1-0/+46