_CoqProject 382 Bytes
Newer Older
1
-Q . ""
Amin Timany's avatar
Amin Timany committed
2
prelude/base.v
Amin Timany's avatar
Amin Timany committed
3
4
5
6
7
stlc/lang.v
stlc/typing.v
stlc/rules.v
stlc/logrel.v
stlc/fundamental.v
Amin Timany's avatar
Amin Timany committed
8
9
10
11
12
F_mu/lang.v
F_mu/typing.v
F_mu/rules.v
F_mu/logrel.v
F_mu/fundamental.v
13
14
15
16
F_mu_ref/lang.v
F_mu_ref/typing.v
F_mu_ref/rules.v
F_mu_ref/logrel.v
17
F_mu_ref/fundamental.v
18
19
F_mu_ref_par/lang.v
F_mu_ref_par/rules.v
Amin Timany's avatar
Amin Timany committed
20
F_mu_ref_par/typing.v
21
22
F_mu_ref_par/logrel_unary.v
F_mu_ref_par/fundamental_unary.v