aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Program
ModeNameSize
-rw-r--r--Basics.v1781logplain
-rw-r--r--Combinators.v2158logplain
-rw-r--r--Equality.v16599logplain
-rw-r--r--Program.v772logplain
-rw-r--r--Subset.v3517logplain
-rw-r--r--Syntax.v1463logplain
-rw-r--r--Tactics.v9799logplain
-rw-r--r--Utils.v2005logplain
-rw-r--r--Wf.v7703logplain
-rw-r--r--vo.itarget94logplain