aboutsummaryrefslogtreecommitdiff
path: root/hott
ModeNameSize
-rw-r--r--Bool_HoTT.thy67logplain
-rw-r--r--Equivalence.thy13565logplain
-rw-r--r--Equivalence2.thy14015logplain
-rw-r--r--Identity.thy21335logplain
-rw-r--r--List_HoTT.thy288logplain
-rw-r--r--Nat.thy5995logplain
-rw-r--r--Propositions.thy405logplain
-rw-r--r--Univalence.thy902logplain