aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Init
ModeNameSize
-rw-r--r--Datatypes.v10245logplain
-rw-r--r--Logic.v14954logplain
-rw-r--r--Logic_Type.v2241logplain
-rw-r--r--Notations.v3402logplain
-rw-r--r--Peano.v7282logplain
-rw-r--r--Prelude.v1186logplain
-rw-r--r--Specif.v7066logplain
-rw-r--r--Tactics.v8006logplain
-rw-r--r--Wf.v4224logplain
-rw-r--r--vo.itarget96logplain