add list_to_set_disj (replacing the list_to_set on gmultiset)

8 jobs for master in 7 minutes and 35 seconds (queued for 2 seconds)
Status Name Job ID Coverage
  Build
passed build-coq.8.7.0 #24889
fp

00:02:52

passed build-coq.8.7.1 #24888
fp

00:02:53

passed build-coq.8.7.2 #24887
fp

00:02:53

passed build-coq.8.8.0 #24886
fp-timing

00:02:40

passed build-coq.8.8.1 #24885
fp

00:02:57

passed build-coq.8.8.2 #24884
fp

00:02:51

passed build-coq.8.9.0 #24883
fp-timing

00:03:13

passed build-coq.dev #24882
fp

00:04:18