makarius at sketis.net
Mon Oct 5 18:15:12 CEST 2015
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
Is there a procedure to remove obsolete material from the AFP?
More information about the isabelle-dev