aboutsummaryrefslogtreecommitdiff
path: root/theories/Program
ModeNameSize
-rw-r--r--Basics.v1968logplain
-rw-r--r--Combinators.v2035logplain
-rw-r--r--Equality.v17081logplain
-rw-r--r--Program.v922logplain
-rw-r--r--Subset.v3725logplain
-rw-r--r--Syntax.v1264logplain
-rw-r--r--Tactics.v10038logplain
-rw-r--r--Utils.v2186logplain
-rw-r--r--Wf.v8021logplain