aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Program
ModeNameSize
-rw-r--r--Basics.v1820logplain
-rw-r--r--Combinators.v2170logplain
-rw-r--r--Equality.v16279logplain
-rw-r--r--Program.v783logplain
-rw-r--r--Subset.v3544logplain
-rw-r--r--Syntax.v2504logplain
-rw-r--r--Tactics.v9190logplain
-rw-r--r--Utils.v2017logplain
-rw-r--r--Wf.v7765logplain
-rw-r--r--vo.itarget94logplain