Michaels was and still is the only wrestler to have held both the WWF Championship and the European title at the same time . Michaels is the only wrestler to have held both the WWF Championship and the European title at the same time .