Ralf, The list of axiom identifiers existed as some point in the past. It was used for command completion in clef. I can look around for it when I get back.
Tim _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
