diff options
author | 2014-09-02 19:00:38 +0200 | |
---|---|---|
committer | 2014-09-02 21:56:42 +0200 | |
commit | f486f494c205611531a9df508f29f05a413434cc (patch) | |
tree | 9e61d6af518d3f51090527084a77d6446c011c18 /toplevel/auto_ind_decl.ml | |
parent | 83159124ce222cb0d9811868d5a432d306c7d8f5 (diff) |
Adding a test-suite for second-order matching order and indexes.
Diffstat (limited to 'toplevel/auto_ind_decl.ml')
0 files changed, 0 insertions, 0 deletions