<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">

    <title>CRefine</title>
    <link rel="stylesheet" type="text/css" href="../sdmenu/sdmenu.css" />
    <script type="text/javascript" src="../sdmenu/sdmenu.js">
        /***********************************************
        * Slashdot Menu script- By DimX
        * Submitted to Dynamic Drive DHTML code library: http://www.dynamicdrive.com
        * Visit Dynamic Drive at http://www.dynamicdrive.com/ for full source code
        ***********************************************/
    </script>
    <script type="text/javascript">
    // <![CDATA[
    var myMenu;
    window.onload = function() {
        myMenu = new SDMenu("my_menu");
        myMenu.init();
    };
    // ]]>
    </script>

    <SCRIPT LANGUAGE=JAVASCRIPT>
    <!--
        function fnUpdate(language){
           top.menu.location="../"+language+"/menu.html";
           top.body.location="../"+language+"/welcome.html";
        }
    // -->
    </SCRIPT>

  </head>
  <body>
    <table align="center">
        <tr>
            <td>
                <a href="./../pt_br/menu.html" target="menu" onClick="fnUpdate('pt_br');" border="0">
                    <img src="..\\images\\br_small.jpg" alt="Mudar para Português" style="border-style: none"/>
                </a>
            </td>
            <td>
                <a href="./../en_uk/menu.html" target="menu" onClick="fnUpdate('en_uk');" border="0">
                    <img src="..\\images\\uk_small.jpg" alt="Switch to English" style="border-style: none"/>
                </a>
            </td>
        </tr>
    </table>
    <div style="float: center" id="my_menu" class="sdmenu">
      <div class="collapsed">
        <span>Development</span>
        <a href="./development/start.html" target="body">Start</a>
        <a href="./development/development.html" target="body">Development</a>
        <a href="./development/save-open.html" target="body">Save/Open</a>
        <a href="./development/undo-redo.html" target="body">Undo/Redo</a>
      </div>
      <div class="collapsed">
        <span>Syntax</span>
        <a href="../docs/symbols.pdf" target="body">List of Symbols (pdf)</a>
      </div>
      <div class="collapsed">
        <span>Summary of Laws</span>
<!--        <a href="./laws/simulation.html" target="body">Simulation Laws</a>
        <a href="./laws/action.html" target="body">Action Laws</a>
        <a href="./laws/process.html" target="body">Process Laws</a>
-->
        <a href="../docs/refinement-laws.pdf" target="body">All Laws (pdf)</a>
      </div>
      <div class="collapsed">
        <span>Windows</span>
        <a href="./gui/development.html" target="body">Development</a>
        <a href="./gui/proofobligation.html" target="body">Proof Obligations</a>
        <a href="./gui/code.html" target="body">Code</a>
      </div>
      <div class="collapsed">
        <span>Utilities</span>
        <a href="./utils/doc-generator.html" target="body">Document Generator</a>
        <a href="./utils/comments.html" target="body">Comments</a>
        <a href="./utils/law-details.html" target="body">Law Details</a>
        <a href="./utils/latex-unicode.html" target="body">Latex/Unicode</a>
        <a href="./utils/copy.html" target="body">Copy to Clipboard</a>
        <a href="./utils/add-paragraph.html" target="body">Add Paragraph</a>
        <a href="./utils/virtual-keyboard.html" target="body">Virtual Keyboard</a>
      </div>
    </div>
  </body>
</html>
