# hol88 2.02.19940316-35build1 source package in Ubuntu

## Changelog

hol88 (2.02.19940316-35build1) disco; urgency=medium * No-change rebuild for readline soname change. -- Matthias Klose <email address hidden> Tue, 15 Jan 2019 10:25:54 +0000

## Upload details

- Uploaded by:
- Matthias Klose on 2019-01-15

- Uploaded to:
- Disco

- Original maintainer:
- Camm Maguire

- Architectures:
- any all

- Section:
- math

- Urgency:
- Medium Urgency

## See full publishing history Publishing

Series | Published | Component | Section | |
---|---|---|---|---|

Focal | release | on 2019-10-18 | universe | math |

Eoan | release | on 2019-04-18 | universe | math |

Disco | release | on 2019-01-27 | universe | math |

## Downloads

File | Size | SHA-256 Checksum |
---|---|---|

hol88_2.02.19940316.orig.tar.gz | 9.8 MiB | cc075a2924c4207a0c8e67599eff710277412934a783656fa8de69f20a185996 |

hol88_2.02.19940316-35build1.debian.tar.xz | 128.2 KiB | 8b3d518650b90a7a78a9c5a17be64dd294db502e34734a47a63e5914ef2b9ca0 |

hol88_2.02.19940316-35build1.dsc | 2.3 KiB | 12dce3122b87a497849c1d837c3daf67396d816d4fa524be48c6b1ede2db4195 |

### Available diffs

## 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: 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-contrib-source: Higher Order Logic, user contributed source
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-doc: Documentation for hol88

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: Higher Order Logic, online help files

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-library: Higher Order Logic, binary library modules

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-library-help: Higher Order Logic, library online help files

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-library-source: Higher Order Logic, library source files

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: Higher Order Logic, source files

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.