you don't double clutch shifting up as far as i know, you pull the car out of gear and then smack the clutch to put it in the next gear. I also don't know about braking during double clutching, i understand it is to downshift to pass, not downshift to slow down.
I have learned to double clutch back in the day, but it is not something i do.