[isabelle-dev] AFP/Lifting_Definition_Option

Makarius 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 mailing list