intro.thy file updated (just minor tweaks)