name: hol-bool
version: 1.0
description: Interface between OpenTheory Standard Library and HOL4 boolTheory
author: Ramana Kumar <ramana@member.fsf.org>
license: GPL
requires: bool
show: "Data.Bool"
main {
  article: "HOL4bool.ot.art"
}
