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.