Notes on HOL 4, Kananaskis-7 release

(Released: 15 August 2011)

We are pleased to announce the Kananaskis-7 release of HOL 4.

Contents

New features:

Bugs fixed:

New theories:

New tools:

New examples:

Incompatibilities:


HOL 4, Kananaskis-7