Check-in [ec0abfb8eb]

Not logged in

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

Overview
Comment:Added reference to Gacek's PhD thesis in the section on induction. Added screenshot of a completed proof.
Downloads: Tarball | ZIP archive | SQL archive
Timelines: family | ancestors | descendants | both | bc-subst
Files: files | file ages | folders
SHA1:ec0abfb8ebdfd0b0839df9c266a6b61096ff7800
User & Date: andy 2015-04-21 16:26:30
Context
2015-04-21
19:26
The new clausal-expansion system for goals is complete. Closed-Leaf check-in: d8a8e82a90 user: andy tags: bc-subst
16:26
Added reference to Gacek's PhD thesis in the section on induction. Added screenshot of a completed proof. check-in: ec0abfb8eb user: andy tags: bc-subst
16:25
Removed hover styles from premise/conclusion classes (this should be handled in JS, so that it can be disabled when the proof is complete). check-in: 6feebbe110 user: andy tags: bc-subst
Changes
Unified Diffs Side-by-Side Diffs Patch

Changes to report/arend-report.bib.

Changes to report/arend-report.pdf.

Changes to report/arend-report.tex.