aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/ideal-features
ModeNameSize
-rw-r--r--Apply.v966logplain
-rw-r--r--Case3.v720logplain
-rw-r--r--Case4.v1201logplain
-rw-r--r--Case8.v1203logplain
-rw-r--r--Case9.v318logplain
d---------complexity41logplain
-rw-r--r--eapply_evar.v286logplain
-rw-r--r--evars_subst.v1535logplain
-rw-r--r--implicit_binders.v4360logplain
-rw-r--r--universes.v1802logplain