Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.
|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|
|User & Date:||andy 2015-04-21 21:35:42|
|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|
|19:26||The new clausal-expansion system for goals is complete. Closed-Leaf check-in: d8a8e82a90 user: andy tags: bc-subst|
Changes to report/arend-report.tex.