[isabelle] Theory name conflict



Hello all,

I'm having a conflict on theory names from HOL and afp, one theory hiding 
definitions of the other one (according to the order of imports).

"~~/src/HOL/Imperative_HOL/Array"
"afp/thys/Collections/common/Array"

I got this while updating my theories using both Imperative_HOL and 
Collections.

Is there an easy "user side" way to get rid of it without renaming one of 
them?

Thanks,

Mathieu Giorgino





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.