-
Ralf Jung authored
define operations as plain coq functions rather than non-expansive functions. this signficiantly improves the behavior of 'simpl morph'
185900b8
define operations as plain coq functions rather than non-expansive functions. this signficiantly improves the behavior of 'simpl morph'