-
Jean-Christophe Filliâtre authored
(that is, using number of occurrences) No more definition of permutation using inductive predicates. Impacts array.ArrayPermut; proof sessions updated. Coq realizations for map.Occ and map.MapPermut; proof session for array.ArrayPermut in progress
ca0ec4aa