Isabelle_hoops.Totally_Ordered_Hoops