diff options
| author | Son Ho | 2024-03-20 06:17:41 +0100 |
|---|---|---|
| committer | Son Ho | 2024-03-20 06:17:41 +0100 |
| commit | 5e99d127e0a746f5779779756fccf79f15c19d10 (patch) | |
| tree | 6d10d613179568346e19cbc6bf95c6dd6897f574 /tests/lean/BetreeMain/FunsExternal.lean | |
| parent | e6f002cfc1dfa41362bbb3a005c4261d09c52c58 (diff) | |
Regenerate the code
Diffstat (limited to 'tests/lean/BetreeMain/FunsExternal.lean')
0 files changed, 0 insertions, 0 deletions