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

hol88-library

Higher Order Logic, binary library modules

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-15
Architecture:armel
Distribution:Debian
Filename:hol88-library_2.02.19940316-15_armel.deb

/usr/share/doc/hol88-library/changelog.Debian.gz

hol88 (2.02.19940316-15) unstable; urgency=low

  * lintian fixes
  * 3.0 quilt source format

 -- Camm Maguire <camm@debian.org>  Wed, 11 Apr 2012 18:43:47 +0000

hol88 (2.02.19940316-14) unstable; urgency=low

  * rebuild against latest gcl

 -- Camm Maguire <camm@debian.org>  Tue, 17 Jan 2012 19:45:44 +0000

hol88 (2.02.19940316-13) unstable; urgency=low

  * build depend on latest gcl

 -- Cam
more»

/usr/share/doc/hol88-library/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-library_2.02.19940316-15_armel.deb

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

Download hol88-library_2.02.19940316-15_armel.deb

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