diff options
author | Son Ho | 2024-04-11 20:22:26 +0200 |
---|---|---|
committer | Son Ho | 2024-04-11 20:22:26 +0200 |
commit | 2f8aa9b47acb5c98aed91c29b04f71099452e781 (patch) | |
tree | 810c6504b8e5b2fcde58841e25079d5e8c8e92ae /tests/hol4/betree | |
parent | 8cb83fd3bd1585f2a68a47580a55dfeee01d9f0a (diff) |
Update a Lean file
Diffstat (limited to 'tests/hol4/betree')
0 files changed, 0 insertions, 0 deletions