law-details.html 1.46 KB
  1
  2
  3
  4
  5
  6
  7
  8
  9
 10
 11
 12
 13
 14
 15
 16
 17
 18
 19
 20
 21
 22
 23
 24
 25
 26
 27
 28
 29
 30
 31
 32
 33
 34
 35
 36
 37
 38
 39
 40
 41
 42
 43
 44
 45
 46
 47
 48
 49
 50
 51
 52
 53
 54
 55
 56
 57
 58
<html>
<head>
<title>CRefine</title>
<link rel="stylesheet" type="text/css" href="../../style.css" />

</head>

<body>

<table>
<tr height="10">
<td>
</td>
</tr>
<tr>
<td class="tituloAzul">
Law Details
</td>
</tr>
<tr>
<td class="grande" width="500">
<div align="justify">

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.
<br>
<br>
<img border = "0" src="../images/lawdetails.jpg" align="center">
<br>
<br>
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.

<br>
<br>
<img border = "0" src="../images/lawdetails2.jpg" align="center">
<br>
<br>
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.

<br>
<br>
<img border = "0" src="../images/lawdetails3.jpg" align="center">
<br>
<br>

</div>

</td>
</tr>
</table>


</body>

</html>