aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/ideal-features
ModeNameSize
-rw-r--r--Apply.v966logplain
-rw-r--r--Case4.v1201logplain
-rw-r--r--Case9.v317logplain
d---------complexity41logplain
-rw-r--r--eapply_evar.v284logplain
-rw-r--r--evars_subst.v1532logplain
-rw-r--r--implicit_binders.v4347logplain
-rw-r--r--universes.v1800logplain