Revision b580c8f8
added subtyping in equations (rhs may be a subtype of lhs)
Files
- added
- modified
- copied
- renamed
- deleted
| ID | b580c8f8eac9a794a7cfe8cb48f10103ed1aaa23 |
| Parent | b8ae1bbc |
| Child | 1cb216b4 |
Added by Xavier Thirioux over 7 years ago
added subtyping in equations (rhs may be a subtype of lhs)