aboutsummaryrefslogtreecommitdiff
path: root/hott
ModeNameSize
-rw-r--r--Equivalence.thy13564logplain
-rw-r--r--Identity.thy20167logplain
-rw-r--r--More_List.thy310logplain
-rw-r--r--Nat.thy6318logplain