| changeset 1297 | 0ab16694c3c1 |
| parent 1295 | 0ecc775e5fce |
| child 1298 | 9866dffd387d |
| 1295:0ecc775e5fce | 1297:0ab16694c3c1 |
|---|---|
21 term LET_raw |
21 term LET_raw |
22 term Test.BP_raw |
22 term Test.BP_raw |
23 thm bi_raw.simps |
23 thm bi_raw.simps |
24 thm permute_lam_raw_permute_bp_raw.simps |
24 thm permute_lam_raw_permute_bp_raw.simps |
25 thm alpha_lam_raw_alpha_bp_raw.intros |
25 thm alpha_lam_raw_alpha_bp_raw.intros |
26 thm fv_lam_raw_fv_bp_raw.simps |
|
26 |
27 |
27 print_theorems |
28 print_theorems |
28 |
29 |
29 text {* example 2 *} |
30 text {* example 2 *} |
30 |
31 |