-
Jean-Christophe Filliâtre authoreda slightly different representation of coercions (using trees instead of lists) bench files for coercions
db0d6501
a slightly different representation of coercions (using trees instead of lists) bench files for coercions