The law application becomes very easy once we have access to the law's details containing information
such as proof obligations, terms to which they can be applied to, terms resulting from the application, and
comments.
In order to visualise the details of a law, select the law and then, click on the right button of the mouse on the law name and select details.
In order to visualise the details of a law that has been applied, select the line of this law application in the development window, click on the right button of the mouse, and select "Applied Law -> Details.
In order to visualise the details of a law, select the law and then, click on the right button of the mouse on the law name and select details.
In order to visualise the details of a law that has been applied, select the line of this law application in the development window, click on the right button of the mouse, and select "Applied Law -> Details.