diff options
Diffstat (limited to 'theories/FSets/FSets.v')
| -rw-r--r-- | theories/FSets/FSets.v | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/theories/FSets/FSets.v b/theories/FSets/FSets.v index 6751eb4273..012c0d60b9 100644 --- a/theories/FSets/FSets.v +++ b/theories/FSets/FSets.v @@ -11,8 +11,11 @@ Require Export OrderedType. Require Export OrderedTypeEx. Require Export OrderedTypeAlt. +Require Export DecidableType. +Require Export DecidableTypeEx. Require Export FSetInterface. Require Export FSetBridge. Require Export FSetProperties. Require Export FSetEqProperties. +Require Export FSetWeakList. Require Export FSetList. |