She proceeded to fix the faulty wiring, having checked that the main electricity supply had been switched off.
She proceeded to fix the faulty wiring, having checked the main electricity supply had been switched off.
She proceeded to fix the faulty wiring after he had checked that the electricity supply had been switched off.
She proceeded to fix the faulty wiring after he checked that the electricity supply had been switched off.
Are the above sentences correct?