HOL-ex.Cartouche_Examples