Timeline

Not logged in

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

Parents and children of check-in [8a438a8abd]

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