diff options
Diffstat (limited to 'theories/Numbers/Natural/Axioms/NIso.v')
| -rw-r--r-- | theories/Numbers/Natural/Axioms/NIso.v | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/theories/Numbers/Natural/Axioms/NIso.v b/theories/Numbers/Natural/Axioms/NIso.v index 41d7d61451..fdf3418ed8 100644 --- a/theories/Numbers/Natural/Axioms/NIso.v +++ b/theories/Numbers/Natural/Axioms/NIso.v @@ -2,8 +2,8 @@ Require Import NAxioms. Module Homomorphism (Nat1 Nat2 : NatSignature). -Module Import DomainProperties1 := DomainProperties Nat1.DomainModule. -Module Import DomainProperties2 := DomainProperties Nat2.DomainModule. +(*Module Import DomainProperties1 := DomainProperties Nat1.DomainModule. +Module Import DomainProperties2 := DomainProperties Nat2.DomainModule.*) (* This registers Nat1.Domain.E and Nat2.Domain.E as setoid relations *) Notation Local N1 := Nat1.DomainModule.N. |