Indeed we do. Larry > On 28 Jun 2017, at 18:49, Manuel Eberl <ebe...@in.tum.de> wrote: > > Yes, I noticed that as well. I decided to leave it that way since, well, > we do have qualified names.
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev