Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Repository
why3
lib
isabelle
Why3_Set.thy
Find file
Blame
History
Permalink
fix
#288
fix isabelle realization for sets and fsets
· acb16638
Sylvain Dailler
authored
Mar 29, 2019
This patch should solve the problem of realizations of sets and fsets.
acb16638