Library Coq.ZArith.Zminmax

Require Import Orders BinInt Zcompare Zorder.

THIS FILE IS DEPRECATED.