diff options
| author | Josh Chen | 2020-05-27 21:31:57 +0200 |
|---|---|---|
| committer | Josh Chen | 2020-05-27 21:31:57 +0200 |
| commit | ed41980ed5cee12d7c5eea2e40627e5a390a83f8 (patch) | |
| tree | 19b5fbf5a7d8bbec09c9f61c9f74c700b69c52b1 /hott/Nat.thy | |
| parent | 62c1c8f306bff84b74b3b1c935d0d6722e1251a2 (diff) | |
minor
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions