Skip to content
GitLab
Explore
Sign in
Pierre Letouzey
natded
Repository
natded
AsciiOrder.v
Find file
Blame
History
Permalink
Remove notations like =? in AsciiOrder and StringOrder
· 82720a0e
Pierre Letouzey
authored
Jul 30, 2020
These notations already exist in Coq 8.9, causing a nasty warning
82720a0e