theory axiom-choice

name	axiom-choice
version	1.8
requires	bool-def
meta.description	Axiom of Choice
meta.author	Joe Leslie-Hurd <joe@gilith.com>
meta.license	MIT
meta.provenance	HOL Light theory extracted on 2014-10-30
meta.show	"Data.Bool"

name	main
article	axiom-choice.art