Page last modified 12:19, 16 Jan 2019 by juhako Logical operator: implies Table of contentsThis page's content is now located at User_Guides/myXML/5:_OCL_Rules/Available_methods_for_OCL_base_types/Logical_operator:_implies.