aboutsummaryrefslogtreecommitdiff
path: root/hott
ModeNameSize
-rw-r--r--Equivalence.thy13571logplain
-rw-r--r--Identity.thy20096logplain
-rw-r--r--More_List.thy310logplain
-rw-r--r--Nat.thy3327logplain