How can I remove all elements in a list with a certain property?

From Isabelle Community Wiki
Jump to: navigation, search

moved to stackoverflow