Dear HOL users,
An updated version of my glossary of HOL-related terminology is now
available from the Proof Technologies website at:
http://www.proof-technologies.com/Glossary
It significantly improves on the version of the glossary sent out on
the holinfo mailing list last October, by adding around 50 entries and
various links and improving many existing entries. The biggest area
of change has been in adding various entries for background
mathematical logic concepts.
Please feel free to e-mail me with any comments or opinions. I do not
consider the glossary as closed, and am open to suggestions for
improvement and/or debate about appropriate choice of
names/descriptions/scope.
Mark Adams
------------------------------------------------------------------------------
Benefiting from Server Virtualization: Beyond Initial Workload
Consolidation -- Increasing the use of server virtualization is a top
priority.Virtualization can reduce costs, simplify management, and improve
application availability and disaster protection. Learn more about boosting
the value of server virtualization. http://p.sf.net/sfu/vmware-sfdev2dev
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
