summaryrefslogtreecommitdiff
path: root/tests/hol4/constants (unfollow)
Commit message (Expand)AuthorFilesLines
2024-05-24Rename some subdirectories for consistencyNadrieril3-0/+760