| changeset 35561 | b56d5b1b1a55 |
| parent 35526 | 85e9423d7deb |
| child 35777 | bcc77916b7b9 |
--- a/src/HOLCF/Tools/Domain/domain_constructors.ML Wed Mar 03 08:20:20 2010 -0800 +++ b/src/HOLCF/Tools/Domain/domain_constructors.ML Wed Mar 03 08:26:01 2010 -0800 @@ -35,8 +35,10 @@ struct open HOLCF_Library; + infixr 6 ->>; infix -->>; +infix 9 `; (************************** miscellaneous functions ***************************)