| changeset 2490 | 320775fa47ca |
| parent 2487 | fbdaaa20396b |
| child 2492 | 5ac9a74d22fd |
| 2489:c0695bb33fcd | 2490:320775fa47ca |
|---|---|
35 thm single_let.supports |
35 thm single_let.supports |
36 thm single_let.fsupp |
36 thm single_let.fsupp |
37 thm single_let.supp |
37 thm single_let.supp |
38 thm single_let.size |
38 thm single_let.size |
39 |
39 |
40 |
40 thm single_let.supp(1-2) |
41 thm single_let.fv_defs[simplified single_let.supp(1-2)] |
|
41 |
42 |
42 |
43 |
43 end |
44 end |
44 |
45 |
45 |
46 |