Package: hol88 / 2.02.19940316-35

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
This package was debianized by Camm Maguire <camm@enhanced.com> on
Wed, 18 Oct 2006 13:36:15 -0400.

It was downloaded from http://www.ftp.cl.cam.ac.uk/ftp/hvg/hol88/

Upstream Authors: Michael Gordon <Mike.Gordon@cl.cam.ac.uk>
                  University of Cambridge Computer Laboratory http://www.cl.cam.ac.uk/                 

Copyright: 1994 University of Edinburgh, University of Cambridge, INRIA

License:

public domain

From http://www.cl.cam.ac.uk/~mjcg/papers/HolHistory.pdf:

...

6.1 HOL88

The core HOL system became stable in about 1988. A new release that
consolidated various changes and enhancements called HOL88 was issued
then.11 We were fortunate to receive support from DSTO Australia to
document HOL12 and from Hewlett Packard to port it from Franz Lisp to
Common Lisp (a job very ably done by John Carroll). The current
versions of HOL and its documentation are public domain13 and
available on the Internet
(http://lal.cs.byu.edu/lal/hol-documentation.html).


The Debian packaging is (C) 2006, Camm Maguire <camm@enhanced.com> and
is licensed under the GPL, see `/usr/share/common-licenses/GPL'.