summaryrefslogtreecommitdiff
path: root/backends/hol4
diff options
context:
space:
mode:
authorSon HO2024-04-11 10:54:12 +0200
committerGitHub2024-04-11 10:54:12 +0200
commitc63284e3f9d7723b24f2d226355747e91ebb06aa (patch)
treee68d5f36fee075e09f96d9692e8072ec5c904192 /backends/hol4
parent143a68b2c43c4302abbbd39c28cac3f9c5f52f4a (diff)
Update a comment
Diffstat (limited to 'backends/hol4')
0 files changed, 0 insertions, 0 deletions