Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Repository
why3
src
core
term.mli
Find file
Blame
History
Permalink
add core support for the "if" construction in terms.
· 2585bb44
Andrei Paskevich
authored
Apr 02, 2010
It's not more expressive but much nicer than epsilon.
2585bb44