diff options
author | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2014-11-06 11:29:37 +0100 |
---|---|---|
committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2014-11-06 12:05:48 +0100 |
commit | bc0cdb37c2117830f003a7fd8d87dbc12e4f085d (patch) | |
tree | 504a99972483155319d62065c6da6aed0e61849e /interp/implicit_quantifiers.ml | |
parent | 6ae459fe810a1907a0afcfe9ecf5c062cae60f17 (diff) |
Removing "destruct" test not yet working.
Diffstat (limited to 'interp/implicit_quantifiers.ml')
0 files changed, 0 insertions, 0 deletions