[isabelle-dev] AFP/Lifting_Definition_Option

[Makarius]

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