| branch | Nominal2-Isabelle2013 |
| changeset 3208 | da575186d492 |
| parent 3059 | f6275afb868a |
| 3206:fb201e383f1b | 3208:da575186d492 |
|---|---|
47 thm multi_recs.permute_bn |
47 thm multi_recs.permute_bn |
48 thm multi_recs.perm_bn_alpha |
48 thm multi_recs.perm_bn_alpha |
49 thm multi_recs.perm_bn_simps |
49 thm multi_recs.perm_bn_simps |
50 thm multi_recs.bn_finite |
50 thm multi_recs.bn_finite |
51 |
51 |
52 |
|
53 |
|
52 end |
54 end |
53 |
55 |
54 |
56 |
55 |
57 |