Ti consiglio di utilizzare una libreria specializzata nelle interpolazioni. La classe interna a Flash per effettuare interpolazioni è la Tween, ma non è molto veloce e risulta pesante nell'esecuzione.
Esistono poi librerie gratuite che hanno dalla loro la velocità e la possibilità di gestire proprietà particolari (tipo il colore, la scala ecc...) senza dover fare giri assurdi per ottenere lo stesso risultato.
Le due più famose (lo vedrai in centinaia di discussioni se userai mai la ricerca nel forum) sono le caurina transitions e le green sock. Io utilizzo le prime, un po' per abitudine, seppure le seconde sembrino ottimizzate a livello di risposta.
Perciò ponendo l'utilizzo delle caurina con la classe Tweener, avremo questo:
Codice PHP:
import caurina.transitions.Tweener;
credit.alpha = infodx.alpha = 0.2;
btlogo.addEventListener(MouseEvent.ROLL_OVER, roll);
btlogo.addEventListener(MouseEvent.ROLL_OUT, roll);
function roll (evt:MouseEvent):void {
Tweener.addTween([credit, infodx], {alpha:(evt.type == "rollOver" ? 1 : 0.2), time:0.5, transition:"linear"});
}