Implementation of FSetList: sets by lists without duplicates. No ordering required.
Showing
- current-formalism/Gathering/InR2/FSyncFlexNoMultAlgorithm.v 0 additions, 4 deletionscurrent-formalism/Gathering/InR2/FSyncFlexNoMultAlgorithm.v
- current-formalism/Spectra/LimitedSetSpectrum.v 0 additions, 4 deletionscurrent-formalism/Spectra/LimitedSetSpectrum.v
- current-formalism/Spectra/SetSpectrum.v 1 addition, 9 deletionscurrent-formalism/Spectra/SetSpectrum.v
- current-formalism/Util/FMaps/FMapList.v 3 additions, 5 deletionscurrent-formalism/Util/FMaps/FMapList.v
- current-formalism/Util/FSets/FSetFacts.v 4 additions, 4 deletionscurrent-formalism/Util/FSets/FSetFacts.v
- current-formalism/Util/FSets/FSetInterface.v 18 additions, 18 deletionscurrent-formalism/Util/FSets/FSetInterface.v
- current-formalism/Util/FSets/FSetList.v 591 additions, 1209 deletionscurrent-formalism/Util/FSets/FSetList.v
- current-formalism/_CoqProject 1 addition, 0 deletionscurrent-formalism/_CoqProject
Loading
Please register or sign in to comment