diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-04-09 17:27:53 +0200 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-04-27 21:55:45 +0200 |
| commit | c2249c3b4c3387a3c8510e68fc447274d7299695 (patch) | |
| tree | e9a1fff9f8b89056f321244487cd6f91e7b56769 /proofs/clenvtac.mli | |
| parent | f7ea0193c1aac918d8ed2df0d53df38dde5d1152 (diff) | |
Adding a target for beautification.
Diffstat (limited to 'proofs/clenvtac.mli')
0 files changed, 0 insertions, 0 deletions