[isabelle-dev] AFP/Lifting_Definition_Option

Gerwin Klein Gerwin.Klein at nicta.com.au
Mon Oct 5 23:33:30 CEST 2015

The first step would be to contact the authors of the entry.

If they agree that it is superseded by something else, the entry can be made empty, with an explanation/referral to whatever replaced it.


> On 06.10.2015, at 03:15, Makarius <makarius at sketis.net> wrote:
> What is the purpose of AFP/Lifting_Definition_Option? Isn't that already superseded by an upgrade of the regular lifting package?
> I've come across a broken AFP/Lifting_Definition_Option several times, and then spent extra time to maintain it, wondering if this is just dead code anyway.
> Is there a procedure to remove obsolete material from the AFP?
>       Makarius
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev


The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.

More information about the isabelle-dev mailing list