absevarprop.v
binders_of.v
binders.v
caseview.v
congr.v
deferclear.v
dependent_type_err.v
elim2.v
elim_pattern.v
elim.v
first_n.v
gen_have.v
gen_pattern.v
havesuff.v
have_TC.v
have_transp.v
have_view_idiom.v
if_isnt.v
indetLHS.v
intro_beta.v
intro_noop.v
ipatalternation.v
ltac_have.v
ltac_in.v
move_after.v
multiview.v
occarrow.v
patnoX.v
rewpatterns.v
set_lamda.v
set_pattern.v
ssrsyntax1.v
ssrsyntax2.v
tc.v
testmx.v
typeof.v
unkeyed.v
view_case.v
wlogletin.v
wlog_suff.v
wlong_intro.v

-R ../theories Ssreflect
-I ../src/