aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Init
ModeNameSize
-rw-r--r--Datatypes.v10462logplain
-rw-r--r--Logic.v17958logplain
-rw-r--r--Logic_Type.v2233logplain
-rw-r--r--Nat.v7059logplain
-rw-r--r--Notations.v3723logplain
-rw-r--r--Peano.v6723logplain
-rw-r--r--Prelude.v1137logplain
-rw-r--r--Specif.v9772logplain
-rw-r--r--Tactics.v7982logplain
-rw-r--r--Wf.v4735logplain
-rw-r--r--vo.itarget102logplain