diff options
Diffstat (limited to 'theories/Numbers/BinNums.v')
-rw-r--r-- | theories/Numbers/BinNums.v | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/theories/Numbers/BinNums.v b/theories/Numbers/BinNums.v index aab2c14fa..6a521d6b6 100644 --- a/theories/Numbers/BinNums.v +++ b/theories/Numbers/BinNums.v @@ -9,8 +9,6 @@ (** * Binary Numerical Datatypes *) Set Implicit Arguments. -(* For compatibility, we will not use generic equality functions *) -Local Unset Boolean Equality Schemes. Declare ML Module "z_syntax_plugin". |