diff options
| author | Josh Chen | 2020-05-27 21:30:21 +0200 |
|---|---|---|
| committer | Josh Chen | 2020-05-27 21:30:21 +0200 |
| commit | ec7dcd5e780d26e7f8866c3d245b08b23de56ff9 (patch) | |
| tree | d1c1f95c2801c2604f9a5f7063f719f4e5f0d81b /hott/Equivalence.thy | |
| parent | fd8ae0b89a703443ef625ca243e6d5ecfa7b2271 (diff) | |
move More_Types to Spartan
Diffstat (limited to 'hott/Equivalence.thy')
0 files changed, 0 insertions, 0 deletions