Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.
Parents and children of check-in [a24ff57f47]
|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|
|21:35||Started work on better handling of forall/exists in the reasoning language. Leaf check-in: e8532f2591 user: andy tags: forall-exists|