blob: ab4c666dfa88dc55b742c2029c1b9793c58e415e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
|
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/
|
