[isabelle-dev] [isabelle] Good name for "sublist" predicates

[Lawrence Paulson]

Indeed we do.
Larry

> On 28 Jun 2017, at 18:49, Manuel Eberl <eberlm at in.tum.de> wrote:
> 
> Yes, I noticed that as well. I decided to leave it that way since, well,
> we do have qualified names.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20170630/69f36253/attachment-0002.html>