diff options
| author | Son Ho | 2023-02-05 15:15:42 +0100 |
|---|---|---|
| committer | Son HO | 2023-06-04 21:44:33 +0200 |
| commit | 569513587ac168683c40cef03c1e3a74579e6e44 (patch) | |
| tree | 5f77d40f6a7100fbeae0d2bb27d15f673fe6d508 /tests/lean/misc/external/Base/Primitives.lean | |
| parent | e837bc8452496a1f3f5af568c000b9c1c5c5919a (diff) | |
Rename primitives.lean to Primitives.lean
Diffstat (limited to 'tests/lean/misc/external/Base/Primitives.lean')
0 files changed, 0 insertions, 0 deletions