diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2015-02-24 19:02:02 +0100 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2015-02-24 19:02:39 +0100 |
| commit | 31c8c317affc8fb0ae818336c70ba210208249cc (patch) | |
| tree | e88d15333f84348656ffd16392d9ce39957fdc5c /proofs/clenv.ml | |
| parent | e87ca456fb4cbe54f09e13f1e20d504d2699ac2b (diff) | |
Other tests for decl mode, coming from reference manual.
Diffstat (limited to 'proofs/clenv.ml')
0 files changed, 0 insertions, 0 deletions