src/HOL/Lifting_Sum.thy
2014-03-06 blanchet 2014-03-06 renamed 'fun_rel' to 'rel_fun'
2014-03-06 blanchet 2014-03-06 renamed 'sum_rel' to 'rel_sum'
2014-03-06 blanchet 2014-03-06 renamed 'map_sum' to 'sum_map'
2014-02-18 kuncar 2014-02-18 delete or move now not necessary reflexivity rules due to 1726f46d2aa8
2014-02-12 blanchet 2014-02-12 renamed '{prod,sum,bool,unit}_case' to 'case_...'
2014-01-20 blanchet 2014-01-20 rationalized lemmas
2014-01-20 blanchet 2014-01-20 move BNF_LFP up the dependency chain
2013-08-13 traytel 2013-08-13 got rid of the dependency of Lifting_* on the function package; use the original rel constants for basic BNFs;
2013-08-13 kuncar 2013-08-13 move Lifting/Transfer relevant parts of Library/Quotient_* to Main