Skip to content

GitLab

P
ProofScriptParser
Commit b005da8a authored by Lulu Luong's avatar Lulu Luong
Browse files
Options

added help.html to Examples (applyEq + impLeft)

parent 9a5acb67
Pipeline #34821 passed with stages
        in 2 minutes and 14 seconds
        Hide whitespace changes
        Inline Side-by-side
        Showing with 21 additions and 0 deletions
        ui/src/main/resources/edu/kit/iti/formal/psdbg/examples/applyEq/help.html 0 → 100644
        View file @ b005da8a
        <html>
        <body>
        <h1>Multiple instantiations of schema variables possible </h1>
        <h2>on a Example with 'applyEq'</h2>
        This example script demonstrates the failing application of a statement, in this case 'applyEq', because of insufficient
        parameterization.
        Multiple instantiations of schema variables are possible.
        </body>
        </html>
        \ No newline at end of file
        ui/src/main/resources/edu/kit/iti/formal/psdbg/examples/impLeft/help.html 0 → 100644
        View file @ b005da8a
        <html>
        <body>
        <h1>Application on multiple formulas possible</h1>
        <h2>on a example with 'impLeft'</h2>
        This example script demonstrates the failing application of a statement, in this case 'impLeft', because of insufficient
        parameterization.
        Application is possible on multiple formulas.
        </body>
        </html>
        \ No newline at end of file
        Markdown is supported
        0% or
        You are about to add 0 people to the discussion. Proceed with caution.
        Finish editing this message first!
        Please register or to comment