pkg://hol88-library_2.02.19940316-8_powerpc.deb:6336612/control  downloads

Package: hol88-library
Source: hol88
Version: 2.02.19940316-8
Architecture: powerpc
Maintainer: Camm Maguire <camm@enhanced.com>
Installed-Size: 19932
Section: math
Priority: optional
Description: Higher Order Logic, binary library modules
 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.