diff options
| author | Josh Chen | 2018-09-19 15:06:44 +0200 |
|---|---|---|
| committer | Josh Chen | 2018-09-19 15:06:44 +0200 |
| commit | 150f7eb27880a0081b8ec86d775dd626f507e779 (patch) | |
| tree | 9fe01af79f4dc8ccc50339bf13628912fba5effa /HoTT.thy | |
| parent | 1305c6beca2448156b61649da1a719d055aaf7f7 (diff) | |
Renaming
Diffstat (limited to '')
| -rw-r--r-- | HoTT.thy | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -22,8 +22,8 @@ Sum Unit (* Derived definitions and properties *) -EqualProps -Proj +Equality +Projections Univalence begin |