Ubuntu
hol88 package

hol88 2.02.19940316-14 source package in Ubuntu

Changelog

hol88 (2.02.19940316-14) unstable; urgency=low

  * rebuild against latest gcl
 -- Ubuntu Archive Auto-Sync <email address hidden>   Wed,  18 May 2011 08:50:54 +0000

Upload details

Uploaded by:
Ubuntu Archive Auto-Sync
Uploaded to:
Oneiric
Original maintainer:
Camm Maguire
Architectures:
any
Section:
math
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Precise release universe math

Downloads

File Size SHA-256 Checksum
hol88_2.02.19940316.orig.tar.gz 9.8 MiB cc075a2924c4207a0c8e67599eff710277412934a783656fa8de69f20a185996
hol88_2.02.19940316-14.diff.gz 116.6 KiB 9f4add8b46bad715f034fca05cc35d50f32ff4c48c2c3df4ec808183c24ceac6
hol88_2.02.19940316-14.dsc 1.2 KiB 2e9fc6bcfc67215116ffab84e68dc52f76bef6c590163e591a9c1d2556cd114f

View changes file

Binary packages built by this source

hol88: Higher Order Logic, system image

 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-contrib-help: No summary available for hol88-contrib-help in ubuntu quantal.

No description available for hol88-contrib-help in ubuntu quantal.

hol88-contrib-source: No summary available for hol88-contrib-source in ubuntu quantal.

No description available for hol88-contrib-source in ubuntu quantal.

hol88-doc: Documentation for hol88

 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-help: No summary available for hol88-help in ubuntu oneiric.

No description available for hol88-help in ubuntu oneiric.

hol88-library: No summary available for hol88-library in ubuntu oneiric.

No description available for hol88-library in ubuntu oneiric.

hol88-library-help: No summary available for hol88-library-help in ubuntu quantal.

No description available for hol88-library-help in ubuntu quantal.

hol88-library-source: Higher Order Logic, library source 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-source: No summary available for hol88-source in ubuntu oneiric.

No description available for hol88-source in ubuntu oneiric.