equal
deleted
inserted
replaced
499 |
499 |
500 notation Omega_Words_Fun.conc (infixr "conc" 65) |
500 notation Omega_Words_Fun.conc (infixr "conc" 65) |
501 |
501 |
502 notation Preorder.equiv ("op ~~") |
502 notation Preorder.equiv ("op ~~") |
503 and Preorder.equiv ("(_/ ~~ _)" [51, 51] 50) |
503 and Preorder.equiv ("(_/ ~~ _)" [51, 51] 50) |
|
504 |
|
505 notation (in topological_space) LIMSEQ ("((_)/ ----> (_))" [60, 60] 60) |
504 |
506 |
505 * The alternative notation "\<Colon>" for type and sort constraints has been |
507 * The alternative notation "\<Colon>" for type and sort constraints has been |
506 removed: in LaTeX document output it looks the same as "::". |
508 removed: in LaTeX document output it looks the same as "::". |
507 INCOMPATIBILITY, use plain "::" instead. |
509 INCOMPATIBILITY, use plain "::" instead. |
508 |
510 |