diff options
| author | Erik Martin-Dorel | 2019-11-01 00:49:55 +0100 |
|---|---|---|
| committer | Erik Martin-Dorel | 2019-11-01 04:43:12 +0100 |
| commit | a37b6f81a3d3922dc89a179b50494d0bbd7afbf6 (patch) | |
| tree | 6ebd1824adab4f45725fcd0953996581f2f7600e /doc/stdlib | |
| parent | 1090b272772c70a79fb082713451a935737cb1d3 (diff) | |
[ssr] Refactor/Extend of under to support more relations
(namely, [RewriteRelation]s beyond Equivalence ones)
Thanks to @CohenCyril for suggesting this enhancement
Diffstat (limited to 'doc/stdlib')
| -rw-r--r-- | doc/stdlib/hidden-files | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/stdlib/hidden-files b/doc/stdlib/hidden-files index 4f8986984f..6699252cee 100644 --- a/doc/stdlib/hidden-files +++ b/doc/stdlib/hidden-files @@ -77,4 +77,5 @@ plugins/setoid_ring/Rings_Q.v plugins/setoid_ring/Rings_R.v plugins/setoid_ring/Rings_Z.v plugins/setoid_ring/ZArithRing.v +plugins/ssr/ssrunder.v plugins/ssr/ssrsetoid.v |