[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).


I got this while updating my theories using both Imperative_HOL and 

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


Mathieu Giorgino

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