Detailed models of the binary pulsars J1141-6545 and B2303+46
We have modelled the formation of the eccentric double-degenerate binaries J1141-6545 and B2303+46 using the Henyey-type full stellar evolution code STARS and the population synthesis code BSE. We find that the outcome depends strongly on the common envelope (CE) evolution efficiency parameter alpha(CE) and show that both systems can be modelled with a single value of alpha(CE). The final orbit of