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.