| changeset 2120 | 2786ff1df475 |
| parent 2105 | e25b0fff0dd2 |
| child 2311 | 4da5c5c29009 |
| 2119:238062c4c9f2 | 2120:2786ff1df475 |
|---|---|
18 | App "trm" "trm" |
18 | App "trm" "trm" |
19 | Lam "ty" n::"name" t::"trm" bind_set n in t |
19 | Lam "ty" n::"name" t::"trm" bind_set n in t |
20 |
20 |
21 thm kind_ty_trm.supp |
21 thm kind_ty_trm.supp |
22 |
22 |
23 equivariance alpha_trm_raw |
|
24 |
23 |
25 |
24 |
26 |
25 |
27 |
26 |
28 end |
27 end |