Check-in [c98b0d6d4e]

Not logged in

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

Overview
Comment:Commented out tentative section of universal/existential quantification.
Downloads: Tarball | ZIP archive | SQL archive
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA1:c98b0d6d4ee03e9397bb88734a9b4fe0bc990b7d
User & Date: andy 2015-04-22 20:50:02
Context
2015-04-22
20:50
Added jsonterm module, eventually to replace term_to_json (which is terrible). check-in: 0784891462 user: andy tags: trunk
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
Changes
Unified Diffs Side-by-Side Diffs Patch

Changes to report/arend-report.pdf.

Changes to report/arend-report.tex.