src/HOL/Tools/Lifting/lifting_def.ML
2012-04-04 huffman 2012-04-04 lift_definition command generates transfer rule
2012-04-03 kuncar 2012-04-03 new package Lifting - initial commit