hol88-library-help - 2.02.19940316-35 main

Higher Order Logic, library online help files

Section: math
Suites: amber byzantium landing 
Maintainer: Camm Maguire <camm@debian.org>
 
Source Package
 

Installed Size: 3.2 MB
Architectures: all 

 

Versions

2.02.19940316-35 all