Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
Overview
Comment: | Started work on better handling of forall/exists in the reasoning language. |
---|---|
Downloads: | Tarball | ZIP archive | SQL archive |
Timelines: | family | ancestors | descendants | both | forall-exists |
Files: | files | file ages | folders |
SHA1: | e8532f259168f79209908995035387b5099cdc88 |
User & Date: | andy 2015-04-21 21:35:42 |
Context
2015-04-22
| ||
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 | |
19:26 | The new clausal-expansion system for goals is complete. Closed-Leaf check-in: d8a8e82a90 user: andy tags: bc-subst | |
Changes
Changes to report/arend-report.tex.