by Howard, Paul
Disk contains: files for extracting information from the "Consequences of the Axiom of Choice" project.