Higher Order Logic, user contributed online help files
The HOL System is an environment for interactive theorem proving in a
higher-order logic. Its most outstanding feature is its high degree
of programmability through the meta-language ML. The system has a
wide variety of uses from formalizing pure mathematics to
verification of industrial hardware. Academic and industrial sites
world-wide are using HOL.
hol88 (2.02.19940316-13.1) unstable; urgency=high
* Non-maintainer upload.
* Revert build-depend bump, as that version of gcl will
not make it into Squeeze (Closes: #606293)
-- Jonathan Wiltshire <firstname.lastname@example.org> Tue, 14 Dec 2010 20:47:42 +0000
hol88 (2.02.19940316-13) unstable; urgency=low
* build depend on latest gcl
-- Camm Maguire <email@example.com> Fri, 05 Nov 2010 16:09:55
This package was debianized by Camm Maguire <firstname.lastname@example.org> 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, I
Browse inside hol88-contrib-help_2.02.19940316-13.1_all.deb
Results 1 - 1 of 1Search over 15 billion files
© 1997-2016 FileWatcher.com