Original: Among other fuels used have been coal oil and paraffin\/kerosene in paraffin lamps ( also called kerosene lamps and coal oil lamps ) .
Simplified: Today , those lamps have mostly been replaced by kerosene lamps .