diff options
| author | Josh Chen | 2019-02-28 14:15:31 +0100 |
|---|---|---|
| committer | Josh Chen | 2019-02-28 14:15:31 +0100 |
| commit | 2116cee735ca505e2eae260f48341a4d8ab24117 (patch) | |
| tree | fcfa947c5c8ff9663e04d0c28119319eba7cd699 /HoTT_Base.thy | |
| parent | 0d4faf23394e2dca1c76bb551f09b642fa5976ac (diff) | |
more convenient syntax
Diffstat (limited to 'HoTT_Base.thy')
0 files changed, 0 insertions, 0 deletions