aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Init
ModeNameSize
-rw-r--r--Datatypes.v10607logplain
-rw-r--r--Logic.v22010logplain
-rw-r--r--Logic_Type.v2229logplain
-rw-r--r--Nat.v7059logplain
-rw-r--r--Notations.v3921logplain
-rw-r--r--Peano.v6634logplain
-rw-r--r--Prelude.v1055logplain
-rw-r--r--Specif.v28003logplain
-rw-r--r--Tactics.v10917logplain
-rw-r--r--Tauto.v3929logplain
-rw-r--r--Wf.v4739logplain
-rw-r--r--_CoqProject23logplain