diff options
author | 2017-11-20 18:17:58 +0100 | |
---|---|---|
committer | 2017-11-27 19:47:52 +0100 | |
commit | 9243166490e8c939bbf6aa0316e99025b25e6398 (patch) | |
tree | 391e1d205ee7a378774228404e5a7c00416e2d97 /plugins/cc/g_congruence.ml4 | |
parent | 6f240e9b15f2b6f6622c811933c4f5ffdf78cceb (diff) |
[vernac] Adjust `interp` to pass polymorphic in the attributes.
Diffstat (limited to 'plugins/cc/g_congruence.ml4')
0 files changed, 0 insertions, 0 deletions