aboutsummaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.gitignore122logplain
-rw-r--r--Eq.thy15134logplain
-rw-r--r--HoTT.thy628logplain
-rw-r--r--HoTT_Base.thy2896logplain
-rw-r--r--HoTT_Methods.thy3256logplain
-rw-r--r--LICENSE7651logplain
-rw-r--r--More_Types.thy2462logplain
-rw-r--r--Nat.thy1214logplain
-rw-r--r--Prod.thy5141logplain
-rw-r--r--Projections.thy1354logplain
-rw-r--r--README.md1370logplain
-rw-r--r--ROOT657logplain
-rw-r--r--Sum.thy1932logplain
-rw-r--r--Univalence.thy4056logplain
d---------ex111logplain
d---------tests36logplain