| changeset 1940 | 0913f697fe73 |
| parent 1281 | 66fc26f32f25 |
| child 2871 | b58073719b06 |
| 1939:19f296e757c5 | 1940:0913f697fe73 |
|---|---|
65 qconst :: "qty" |
65 qconst :: "qty" |
66 as "rconst" |
66 as "rconst" |
67 |
67 |
68 That means "qconst :: qty" is not read as a term, but |
68 That means "qconst :: qty" is not read as a term, but |
69 as two entities. |
69 as two entities. |
70 |
|
71 - Restrict automatic translation to particular quotient types |
|
72 |