aboutsummaryrefslogtreecommitdiff
path: root/hott
ModeNameSize
-rw-r--r--Equivalence.thy13522logplain
-rw-r--r--Identity.thy20057logplain
-rw-r--r--More_List.thy304logplain
-rw-r--r--More_Nat.thy1099logplain
-rw-r--r--Nat.thy6253logplain