Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- <table>
- <tbody>
- <tr>
- <td class="inference">
- <div id="uw-561">
- <ul class="commaList"></ul>
- <span class="turnstile" onclick="alert('Did stuff')" title="reset">⊢</span>
- <ul class="commaList">
- <li id="uw-560" onclick="handler(this)"><span class="junct"">
- A ∨ B <span class="primaryConnective">→</span> (A → C) → (B → D) → C ∨ D</span>
- </li>
- </ul>
- </div>
- </td>
- </tr>
- </tbody>
- </table>
- </div>
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement