Content shop of Isabelle-18