src/HOL/Lifting.thy
2012-04-04 huffman 2012-04-04 merged
2012-04-04 huffman 2012-04-04 add lemmas for generating transfer rules for typedefs
2012-04-04 kuncar 2012-04-04 support non-open typedefs; define cr_rel in terms of a rep function for typedefs
2012-04-04 huffman 2012-04-04 update keywords file
2012-04-04 huffman 2012-04-04 lift_definition command generates transfer rule
2012-04-03 huffman 2012-04-03 new transfer proof method
2012-04-03 kuncar 2012-04-03 new package Lifting - initial commit