| branch | Nominal2-Isabelle2011-1 |
| changeset 3071 | 11f6a561eb4b |
| parent 3029 | 6fd3fc3254ee |
| 3070:4b4742aa43f2 | 3071:11f6a561eb4b |
|---|---|
32 thm exp_pat.bn_defs |
32 thm exp_pat.bn_defs |
33 thm exp_pat.perm_simps |
33 thm exp_pat.perm_simps |
34 thm exp_pat.eq_iff |
34 thm exp_pat.eq_iff |
35 thm exp_pat.fv_bn_eqvt |
35 thm exp_pat.fv_bn_eqvt |
36 thm exp_pat.size_eqvt |
36 thm exp_pat.size_eqvt |
37 thm exp_pat.size |
|
38 thm exp_pat.supports |
37 thm exp_pat.supports |
39 thm exp_pat.fsupp |
38 thm exp_pat.fsupp |
40 thm exp_pat.supp |
39 thm exp_pat.supp |
41 |
40 |
42 |
41 |