aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Init
ModeNameSize
-rw-r--r--Datatypes.v10757logplain
-rw-r--r--Decimal.v4235logplain
-rw-r--r--Logic.v22576logplain
-rw-r--r--Logic_Type.v2379logplain
-rw-r--r--Nat.v8959logplain
-rw-r--r--Notations.v4975logplain
-rw-r--r--Peano.v6883logplain
-rw-r--r--Prelude.v1231logplain
-rw-r--r--Specif.v28715logplain
-rw-r--r--Tactics.v11657logplain
-rw-r--r--Tauto.v3926logplain
-rw-r--r--Wf.v4889logplain
-rw-r--r--_CoqProject23logplain