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

Lawrence Paulson lp15 at cam.ac.uk
Fri Jun 30 16:14:23 CEST 2017

Indeed we do.

> 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>

More information about the isabelle-dev mailing list