diff options
author | 2015-02-24 19:02:02 +0100 | |
---|---|---|
committer | 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