back in time #LC session 101 with Isabelle dressed in #latex