| changeset 1952 | 27cdc0a3a763 |
| parent 1940 | 0913f697fe73 |
| child 2871 | b58073719b06 |
| 1951:a0c7290a4e27 | 1952:27cdc0a3a763 |
|---|---|
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 |