diff options
| author | Andreas Grois <andi@grois.info> | 2024-07-21 19:21:02 +0200 |
|---|---|---|
| committer | Andreas Grois <andi@grois.info> | 2024-07-21 19:21:02 +0200 |
| commit | 2b6a25a248d7e588cdef266d8d62f50568c5de10 (patch) | |
| tree | 45febdf3fbe994b5ba466ae3bcaa0ae075dddd2e /Common/Substring.lean | |
| parent | feb2542732913a57aad8ce06d7923cb8d6d546b4 (diff) | |
Heap: Nomenclature and namespace changes.
Diffstat (limited to 'Common/Substring.lean')
0 files changed, 0 insertions, 0 deletions