"Ophelia" > wrote in message
...
> Are these beans left over from baked beans?

No. They are generally pinto beans but I have seen them done with black
beans as well. The beans are cooked, then mashed or partially mashed,
sometimes with additional fat of some kind added. Traditionally this would
be lard. I usually use olive oil. But you can make them with no fat as
well.