Oh, then I misunderstood your question. Just download the zips, extract them and send the appvars to your calc. In your source, use the #Axiom( command with the name of the axiom in the parenthesis to make the libary usable. You can have up to 5 of them at the same time, each can provide up to 32 commands.