Re: [isabelle] Name clashes in theory names



> Seconded. I also ran into this problem a few times.
> 
Me too.

For me, its an indication that Isabelle's simple name-space model is not
adequate for programming in the large, but it is exactly that what we do
in some of our developments, depending on >10 AFP-entries.

--
  Peter





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