Require Export List.
Export ListNotations.
Require Export Arith.
Require Export Omega.
Require Export Coq.Numbers.Natural.Abstract.NDiv.
Require Export Sorting.Permutation.

Require Export StructTact.Util.
Require Export StructTact.StructTactics.

Require Export Verdi.VerdiHints.
Require Export Verdi.Net.

Require NPeano.
