-
Key: OCL21-324
-
Legacy Issue Number: 12477
-
Status: closed
-
Source: Net.Orange (i.e. Net Dot Orange) ( Garr Lystad)
-
Summary:
The second sentence after Definition A.29 is "For all t’ < t: if e ? Exprt’ then e ? Exprt’ ." The last prime should be removed.
-
Reported: OCL 2.0 — Wed, 14 May 2008 04:00 GMT
-
Disposition: Resolved — OCL 2.1
-
Disposition Summary:
No Data Available
-
Updated: Fri, 6 Mar 2015 20:58 GMT