aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Program
ModeNameSize
-rw-r--r--Basics.v1781logplain
-rw-r--r--Combinators.v2158logplain
-rw-r--r--Equality.v16909logplain
-rw-r--r--Program.v772logplain
-rw-r--r--Subset.v3569logplain
-rw-r--r--Syntax.v1114logplain
-rw-r--r--Tactics.v9784logplain
-rw-r--r--Utils.v2007logplain
-rw-r--r--Wf.v7770logplain