aboutsummaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.gitignore7logplain
-rw-r--r--Equal.thy2056logplain
-rw-r--r--EqualProps.thy2521logplain
-rw-r--r--HoTT.thy254logplain
-rw-r--r--HoTT_Base.thy2233logplain
-rw-r--r--HoTT_Methods.thy2817logplain
-rw-r--r--HoTT_Theorems.thy7187logplain
-rw-r--r--Prod.thy3367logplain
-rw-r--r--Proj.thy5132logplain
-rw-r--r--Sum.thy2295logplain
d---------ex39logplain
-rw-r--r--scratch.thy1707logplain