diff options
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 |
index : Isabelle-HoTT | ||
trying to make Isabelle/HoTT work with Isabelle 2021-1 |
aboutsummaryrefslogtreecommitdiff |