Blame view
circus/help/en_uk/laws/law-example-1.html
504 Bytes
8d0dc533f
![]() |
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 |
<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"> Exemplo 1 </td> </tr> <tr> <td class="grandeItalico"> <br> P1 ⊆ P2 <br> <br> <b>provided</b> <br> <br> <ul> <li> P ⇒ Q <li> S1 ⊆ S2 </ul> </td> </tr> </table> </body> </html> |