summaryrefslogtreecommitdiff
path: root/backends/hol4/evalLib.sml (unfollow)
Commit message (Expand)AuthorFilesLines
2023-06-04Make the theorems used by the progress tactic persistentSon Ho1-45/+97
2023-06-04Make the unfolding theorems collection from evalLib persistentSon Ho1-23/+50
2023-06-04Commit evalLibSon Ho1-0/+144