Check-in [8a438a8abd]

Not logged in

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

Overview
Comment:Added material to the report on the handling of explicit quantifiers.
Downloads: Tarball | ZIP archive | SQL archive
Timelines: family | ancestors | descendants | both | forall-exists
Files: files | file ages | folders
SHA1:8a438a8abdfb67b6d72fac2b284dc0fc06ce5190
User & Date: andy 2015-04-22 10:30:20
Context
2015-04-22
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
10:29
Presentation work. Added PDF of presentation. Leaf check-in: a24ff57f47 user: andy tags: trunk
Changes
Unified Diffs Side-by-Side Diffs Patch

Changes to report/arend-report.pdf.

Changes to report/arend-report.tex.