Check-in [ec0abfb8eb]

Not logged in

Overview
Comment: Added reference to Gacek's PhD thesis in the section on induction. Added screenshot of a completed proof. Tarball | ZIP archive | SQL archive family | ancestors | descendants | both | bc-subst files | file ages | folders ec0abfb8ebdfd0b0839df9c266a6b61096ff7800 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

Changes to report/arend-report.bib.

 48 49 50 51 52 53 54 55 56 57 58 59 60 61   author={Page, Rex and Eastlund, Carl and Felleisen, Matthias}, booktitle={Proceedings of the 2008 international workshop on Functional and declarative programming in education}, pages={21--30}, year={2008}, organization={ACM} } @inproceedings{Ford:2004:PEG:964001.964011, author = {Ford, Bryan}, title = {Parsing Expression Grammars: A Recognition-based Syntactic Foundation}, booktitle = {Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages}, series = {POPL '04}, year = {2004},   > > > > > > > > > > > > >  48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74   author={Page, Rex and Eastlund, Carl and Felleisen, Matthias}, booktitle={Proceedings of the 2008 international workshop on Functional and declarative programming in education}, pages={21--30}, year={2008}, organization={ACM} } @PHDTHESIS{gacek09phd, title = {A Framework for Specifying, Prototyping, and Reasoning about Computational Systems}, author = {Andrew Gacek}, school = {University of Minnesota}, pdf = {http://www.cs.umn.edu/~agacek/pubs/gacek-thesis/gacek-thesis.pdf}, arxiv = {http://arxiv.org/abs/0910.0747}, year = 2009, month = {September}, slides = {http://www.cs.umn.edu/~agacek/pubs/slides/gacek09phd-slides.pdf} } @inproceedings{Ford:2004:PEG:964001.964011, author = {Ford, Bryan}, title = {Parsing Expression Grammars: A Recognition-based Syntactic Foundation}, booktitle = {Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages}, series = {POPL '04}, year = {2004}, 

Changes to report/arend-report.pdf.

cannot compute difference between binary files

Changes to report/arend-report.tex.
