Bug#663754: ITP: hol-light -- HOL Light theorem prover

To: Hendrik Tews <hendrik@askra.de>, 663754@bugs.debian.org
Subject: Bug#663754: ITP: hol-light -- HOL Light theorem prover
From: Laurent Fousse <laurent@komite.net>
Date: Tue, 13 Mar 2012 13:53:39 -0700
Message-id: <[🔎] CAFShwkhv8v=90JV0YHe55HtcH5JvPgyZsAHg2aoPv0kb2sM=dA@mail.gmail.com>
Reply-to: Laurent Fousse <laurent@komite.net>, 663754@bugs.debian.org
In-reply-to: <[🔎] 87pqcg44ot.fsf@wallace.tews.net>
References: <[🔎] 87pqcg44ot.fsf@wallace.tews.net>

Hi,

On Tue, Mar 13, 2012 at 13:38, Hendrik Tews <hendrik@askra.de> wrote:
> * License         : HOL Light licence

According to the google code page, it's actually BSD.

Laurent.

Reply to:

Follow-Ups:
- Bug#663754: ITP: hol-light -- HOL Light theorem prover
  - From: Hendrik Tews <tews@os.inf.tu-dresden.de>

References:
- Bug#663754: ITP: hol-light -- HOL Light theorem prover
  - From: Hendrik Tews <hendrik@askra.de>

Prev by Date: Bug#663754: ITP: hol-light -- HOL Light theorem prover
Next by Date: Bug#663754: ITP: hol-light -- HOL Light theorem prover
Previous by thread: Bug#663754: ITP: hol-light -- HOL Light theorem prover
Next by thread: Bug#663754: ITP: hol-light -- HOL Light theorem prover
Index(es):
- Date
- Thread