diff options
Diffstat (limited to 'lib/Sets.v')
-rw-r--r-- | lib/Sets.v | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -9,7 +9,6 @@ implementation of sets. *) -Require Import Relations. Require Import Coqlib. Require Import Maps. Require Import Lattice. |