aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Init
ModeNameSize
-rw-r--r--Datatypes.v10484logplain
-rw-r--r--Logic.v17865logplain
-rw-r--r--Logic_Type.v2233logplain
-rw-r--r--Nat.v7059logplain
-rw-r--r--Notations.v3721logplain
-rw-r--r--Peano.v6723logplain
-rw-r--r--Prelude.v1125logplain
-rw-r--r--Specif.v9700logplain
-rw-r--r--Tactics.v8034logplain
-rw-r--r--Wf.v4735logplain
-rw-r--r--vo.itarget102logplain