Activity
Added another reference to the list of users of Abella.
Added another reference to the list of users of Abella.
Updated some web pages for personnel.
Updated some web pages for personnel.
Extended comments on the clear tactic.
Extended comments on the clear tactic.
Updated the description of stratification.
Updated the description of stratification.
changelog: change url text to link
changelog: change url text to link
rm -rf examples/ ; now made with make publish-doc
from Abella
rm -rf examples/ ; now made with
make publish-doc
from AbellaSpec no longer restricted to second-order
Spec no longer restricted to second-order
Added some more papers that have used Abella.
Added some more papers that have used Abella.