[isabelle-dev] Clash of specifications

[Amine Chaieb]

Dear all,

I woul like to merge a few theories and already at the theory - imports
declaration I get the following error message:


*** Clash of specifications "Sign.sign.size_sign_inst.size_sign_def" and
"Sign.sign.size_sign_inst.size_sign_def" for constant "Nat.size_class.size"
*** At command "theory".


Is this similar to the typerep issue? Any explanations? Workarounds?

Best wishes,

Amine.