[isabelle] Theory name conflict
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
This archive was generated by a fusion of
Pipermail (Mailman edition) and