changeset 11055 | b84dd2c25a1c |
parent 10984 | 8f49dcbec859 |
child 11349 | fcb507c945c3 |
11054:a5404c70982f | 11055:b84dd2c25a1c |
---|---|
5 Rational_Numbers + |
5 Rational_Numbers + |
6 List_Prefix + |
6 List_Prefix + |
7 Nested_Environment + |
7 Nested_Environment + |
8 Accessible_Part + |
8 Accessible_Part + |
9 Multiset + |
9 Multiset + |
10 Permutation + |
|
10 While_Combinator: |
11 While_Combinator: |
11 end |
12 end |
12 (*>*) |
13 (*>*) |