Mentions légales du service
Restore Isabelle realizations of set.Set and set.FSet, broken by commit 8a7974cf