"Sword of Gideon" is a Hollywood creation.
It was a pure Mossad operation and they got 9 of the 11 targets plus a wrong'n.
A case study of the operation can be found HERE
Thanks, I sort of thought that was the case and it was how I remembered it. That is also why I wanted a link to read about it. Trust but verify.