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 /kernel/esubst.mli | |
parent | 7399d4b3da04e0464b0c47f6c0b3c948599f6873 (diff) |
Completing text of the question on conservativity of CIC over CC (bug #2697).
Diffstat (limited to 'kernel/esubst.mli')
0 files changed, 0 insertions, 0 deletions