Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Why3
why3
Repository
278b2e5bc53906f11647a3abd6d2d2e3d089413d
Switch branch/tag
why3
src
core
theory.mli
Find file
Blame
History
Permalink
decl_or_use devient decl
· 278b2e5b
Francois Bobot
authored
Mar 04, 2010
278b2e5b
