src/HOL/Lifting.thy
2012-04-12 bulwahn 2012-04-12 merged
2012-04-04 griff 2012-04-04 manual merge
2012-04-05 huffman 2012-04-05 add transfer lemmas for quotients
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