src/HOL/Tools/Lifting/lifting_util.ML
changeset 62337 d3996d5873dd
parent 60642 48dd1cefb4ae
child 67703 8c4806fe827f