I
sabelle_hoops
Posets
Hoops
Ordinal_Sums
Totally_Ordered_Hoops
BL_Chains