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