HyPre.util.Aux

(* TODO : embed library used in uniana in a same way & prove goals stated here using that *)

Global Set Nested Proofs Allowed.

From HyPre Require Import Safety.
Import ListSafety.