QueryAll::usage = "QueryAll[goals...] prints all satisfying bindings." or::usage = "or[goals] succeeds if one of the goals succeeds."
UniformPolyhedra.m
needs to be changed to 30 for Mathematica 3.0:
prec = 30 (* numerical precision for vertex coords and angles *)
Master.m with init.m
Master.m with init.m