UbuntuUpdates.org

Package "hol88-library-help"

Name: hol88-library-help

Description:

Higher Order Logic, library online help files

Latest version: 2.02.19940316-31
Release: xenial (16.04)
Level: base
Repository: universe

Links


Download "hol88-library-help"


Other versions of "hol88-library-help" in Xenial

No other version of this package is available in the Xenial release.

Changelog

There is no recent update for this package.



About   -   Send Feedback to @ubuntu_updates