Timeline

Not logged in

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

Parents and children of check-in [a24ff57f47]

2015-04-22
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
2015-04-21
21:35
Started work on better handling of forall/exists in the reasoning language. Leaf check-in: e8532f2591 user: andy tags: forall-exists