diff options
Diffstat (limited to 'HoTT.thy')
-rw-r--r-- | HoTT.thy | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -12,9 +12,11 @@ HoTT_Base HoTT_Methods (* Types *) -Equal Prod Sum +Equal +Coprod +Nat (* Additional properties *) EqualProps |
index : Isabelle-HoTT | ||
trying to make Isabelle/HoTT work with Isabelle 2021-1 |
aboutsummaryrefslogtreecommitdiff |