aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Init
ModeNameSize
-rw-r--r--Datatypes.v5473logplain
-rw-r--r--Logic.v11603logplain
-rw-r--r--Logic_Type.v1995logplain
-rw-r--r--Notations.v3265logplain
-rw-r--r--Peano.v5168logplain
-rw-r--r--Prelude.v720logplain
-rw-r--r--Specif.v6868logplain
-rw-r--r--Tactics.v5369logplain
-rw-r--r--Wf.v4571logplain