back in time #CC session 101 focused on #DiD with Isabelle