Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Why3
why3
Repository
069f9ece8e90374683dcc4f779ff9fd6e8c83f33
Switch branch/tag
why3
src
printer
coq.ml
Find file
Blame
History
Permalink
Fix Coq output of mutually-defined inductive predicates.
· 069f9ece
Guillaume Melquiond
authored
May 23, 2013
069f9ece
coq.ml
34.9 KB
Replace coq.ml
×
Attach a file by drag & drop or
click to upload
Commit message
Replace coq.ml
Replace file
Cancel
GitLab will create a branch in your fork and start a merge request.
