原始碼套件：hol88（2.02.19940316dfsg-6）

hol88 的相關連結

• eLxr 補丁追蹤網站

維護者：

• Camm Maguire

hol88

Higher Order Logic, system image

hol88-contrib-help

Higher Order Logic, user contributed online help files

hol88-contrib-source

Higher Order Logic, user contributed source

hol88-doc

Documentation for hol88

hol88-help

Higher Order Logic, online help files

hol88-library

Higher Order Logic, binary library modules

hol88-library-help

Higher Order Logic, library online help files

hol88-library-source

Higher Order Logic, library source files

hol88-source

Higher Order Logic, source files

其他與 hol88 有關的套件

• adep: debhelper-compat (= 13)

  套件暫時不可用

• adep: gcl27 (>= 2.7.1)

  GNU Common Lisp compiler

• adep: texlive-latex-base

  TeX Live: LaTeX fundamental packages

Download hol88