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
