summaryrefslogtreecommitdiff
path: root/backends/hol4/primitivesLib.sml
diff options
context:
space:
mode:
authorGuillaume Boisseau2024-05-30 17:15:59 +0200
committerGitHub2024-05-30 17:15:59 +0200
commit170ce1c399d3ae6b2ff9485037eae4d89e7879f2 (patch)
treec44edd080f2912997c2841a17f335d0d57b77b01 /backends/hol4/primitivesLib.sml
parent0c0bbb56655458510c7573b06c9a6d9910f8138a (diff)
parent19224a45930e4fb0786d6ace0abcded86d110c65 (diff)
Merge pull request #226 from AeneasVerif/remove-rust-scripts
Diffstat (limited to 'backends/hol4/primitivesLib.sml')
0 files changed, 0 insertions, 0 deletions