Any way to get a user's manual on an HP-12C?
To get a new one, call HP at 800-227-8164 or visit a dealer. The part number for the English manual is 00012-90001.
For a used one, you could try the classified ads section and/or eBay.