diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2014-04-05 17:51:54 +0200 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2014-04-05 17:51:54 +0200 |
| commit | 076954ad3dcea6e7e7a42806273c3ca1b09135c6 (patch) | |
| tree | fdb8e7b844ae2455d0b76006452587729ab42667 /checker/declarations.mli | |
| parent | 7399d4b3da04e0464b0c47f6c0b3c948599f6873 (diff) | |
Completing text of the question on conservativity of CIC over CC (bug #2697).
Diffstat (limited to 'checker/declarations.mli')
0 files changed, 0 insertions, 0 deletions