aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Program
ModeNameSize
-rw-r--r--Basics.v1781logplain
-rw-r--r--Combinators.v2158logplain
-rw-r--r--Equality.v16962logplain
-rw-r--r--Program.v772logplain
-rw-r--r--Subset.v3535logplain
-rw-r--r--Syntax.v1463logplain
-rw-r--r--Tactics.v9784logplain
-rw-r--r--Utils.v2007logplain
-rw-r--r--Wf.v7760logplain
-rw-r--r--vo.itarget94logplain