src/core/theory.mli · 02b4a09b3849001d5002018e267c4deb439cb174 · Why3 / why3 · GitLab

Find file Blame History Permalink

Undo the last four commits. Never listen to people · 02b4a09b
Andrei Paskevich authored Mar 18, 2010
```
coming to you late in the evening and talking French.
```
02b4a09b