diff options
| author | Son Ho | 2024-03-11 10:20:15 +0100 |
|---|---|---|
| committer | Son Ho | 2024-03-11 10:20:15 +0100 |
| commit | 21fdbab049534b35e9573da89bdfd5942144cbb9 (patch) | |
| tree | dad9a9571e70edf75988a6d3b500e8234a040b3e /tests/lean/BetreeMain/FunsExternal.lean | |
| parent | 82ccc781db0ba1df22f598ad1243fa53dc843320 (diff) | |
Regenerate the test files
Diffstat (limited to 'tests/lean/BetreeMain/FunsExternal.lean')
0 files changed, 0 insertions, 0 deletions