aboutsummaryrefslogtreecommitdiff
path: root/theories
ModeNameSize
-rw-r--r--Array.v836logplain
-rw-r--r--Constr.v2396logplain
-rw-r--r--Control.v3405logplain
-rw-r--r--Fresh.v1054logplain
-rw-r--r--Ident.v795logplain
-rw-r--r--Init.v2075logplain
-rw-r--r--Int.v980logplain
-rw-r--r--Ltac2.v793logplain
-rw-r--r--Message.v1067logplain
-rw-r--r--Notations.v14313logplain
-rw-r--r--Pattern.v1987logplain
-rw-r--r--Std.v9407logplain
-rw-r--r--String.v838logplain