diff options
author | 2016-10-26 18:34:13 +0200 | |
---|---|---|
committer | 2016-11-03 16:26:40 +0100 | |
commit | c5802966f23b9a8dc34f55961d4861997a3df01f (patch) | |
tree | 25a5665165bfc0435c680b5d6aff640a14346a69 /tactics/class_tactics.ml | |
parent | 8aa945902d40765f69cd16ce7647d3c28248eb54 (diff) |
Test new syntax for hints and typeclass options
Diffstat (limited to 'tactics/class_tactics.ml')
0 files changed, 0 insertions, 0 deletions