diff options
| author | Hugo Herbelin | 2014-11-17 17:06:21 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2014-11-18 10:26:21 +0100 |
| commit | 30a9a27ce3a76e2704671174483d4b4f84c482e4 (patch) | |
| tree | c4788d01c2ff18154877439a793b519f943d5233 /kernel/context.ml | |
| parent | 52f51fb385d6a1c90bd7d055185fee50ef2670be (diff) | |
Clarifying the role of ListSet.v in the library, compared to other
finite set libraries.
Diffstat (limited to 'kernel/context.ml')
0 files changed, 0 insertions, 0 deletions