src/main.ml · 2185d5bdd7e1e3e01d576030e58e078476c365dd · Why3 / why3 · GitLab

Find file Blame History Permalink

print-namespace : print the kind of the lemmas · 2185d5bd
Francois Bobot authored Jul 07, 2010
```
completion : complete theories and goals
```
2185d5bd