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.
Cheers, Gerwin > On 06.10.2015, at 03:15, Makarius <makar...@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-...@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. _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
