Log in
Gilith OpenTheory Repo
packages
•
recent
•
upload
Package axiom-choice-1.3
Information
versions
1.0
→
1.3
→
1.5
→
1.7
→
1.8
description
axiom-choice
author
Joe Hurd <joe@gilith.com>
license
HOLLight
installed
00:00:19 on Friday 16 September 2011
For more details see the
package document
.
Included By
axiom-1.3
— Basic axioms
bool-1.5
— Basic boolean theory