Check-in [8078001da1]

Not logged in

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

Overview
Comment:Added poster for appreciation reception.
Downloads: Tarball | ZIP archive | SQL archive
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA1:8078001da1f105a97cf03b3401abfd536decec82
User & Date: andy 2015-04-22 20:49:22
Context
2015-04-22
20:50
Commented out tentative section of universal/existential quantification. check-in: c98b0d6d4e user: andy tags: trunk
20:49
Added poster for appreciation reception. check-in: 8078001da1 user: andy tags: trunk
10:30
Added material to the report on the handling of explicit quantifiers. Leaf check-in: 8a438a8abd user: andy tags: forall-exists
Changes
Unified Diffs Side-by-Side Diffs Patch

Added poster/arend-poster.pdf.

Added poster/arend-poster.tex.