Filewatcher File Search File Search
Catalog
Content Search
» » » » »

hol88-contrib-help

Higher Order Logic, user contributed online help files

Variants:
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.
Homepage:-
Package version:2.02.19940316-13.1
Architecture:all
Distribution:Debian
Filename:hol88-contrib-help_2.02.19940316-13.1_all.deb

/usr/share/doc/hol88-contrib-help/changelog.Debian.gz

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 <jmw@debian.org>  Tue, 14 Dec 2010 20:47:42 +0000

hol88 (2.02.19940316-13) unstable; urgency=low

  * build depend on latest gcl

 -- Camm Maguire <camm@debian.org>  Fri, 05 Nov 2010 16:09:55 
more»

/usr/share/doc/hol88-contrib-help/copyright

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, I
more»

Browse inside hol88-contrib-help_2.02.19940316-13.1_all.deb

         [DIR]DEBIAN/ (2)  65535+ mirrors
         [DIR]usr/ (1)  65535+ mirrors

Download hol88-contrib-help_2.02.19940316-13.1_all.deb

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2016 FileWatcher.com