CRefine

Law Details

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.