1<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/x
2html1/DTD/xhtml1-strict.dtd">
3<html xmlns="http://www.w3.org/1999/xhtml">
4<head>
5<meta http-equiv="content-type"
6      content="text/html ; charset=US-ASCII" />
7<title>Release Notes for Kananaskis-2 version of HOL 4</title>
8</head>
9
10<body>
11<h1>Notes on HOL 4, Kananaskis-2 release</h1>
12
13<p> This release of HOL fixes the <code>Overflow</code> bug that
14afflicted the Kananaskis-1 and earlier releases.  It is otherwise
15identical to <a
16href="http://hol.sourceforge.net/kananaskis-1.release.html"
17title="Release notes for Kananaskis-1">Kananaskis-1</a>. </p>
18
19<hr />
20
21<p> <em><a href="http://hol.sourceforge.net">HOL 4, Kananaskis-2</a></em> </p>
22
23</body> </html>
24