Renamed istar::xxx to xxx@istar
Updated introduction.tex