2013-05-30 wenzelm [Thu, 30 May 2013 17:10:13 +0200] rev 52244
misc tuning;
src/Tools/IsaPlanner/isand.ML

2013-05-30 wenzelm [Thu, 30 May 2013 17:02:09 +0200] rev 52243
prefer existing beta_eta_conversion;
src/HOL/Tools/TFL/casesplit.ML

2013-05-30 wenzelm [Thu, 30 May 2013 16:53:32 +0200] rev 52242
more standard fold/fold_rev;
src/Tools/IsaPlanner/isand.ML src/Tools/IsaPlanner/rw_inst.ML src/Tools/eqsubst.ML

2013-05-30 wenzelm [Thu, 30 May 2013 16:48:50 +0200] rev 52241
tuned import;
src/FOL/FOL.thy src/FOL/IFOL.thy

2013-05-30 wenzelm [Thu, 30 May 2013 16:31:53 +0200] rev 52240
misc tuning;
src/Tools/IsaPlanner/rw_inst.ML src/Tools/eqsubst.ML

2013-05-30 wenzelm [Thu, 30 May 2013 16:11:14 +0200] rev 52239
prefer existing beta_eta_conversion;
src/Tools/IsaPlanner/rw_inst.ML src/Tools/eqsubst.ML

2013-05-30 wenzelm [Thu, 30 May 2013 15:51:55 +0200] rev 52238
more standard names;
src/Tools/eqsubst.ML

2013-05-30 wenzelm [Thu, 30 May 2013 15:02:33 +0200] rev 52237
simplified method setup;
src/Tools/eqsubst.ML

2013-05-30 wenzelm [Thu, 30 May 2013 14:37:06 +0200] rev 52236
tuned -- prefer terminology of tactic / goal state;
src/Tools/eqsubst.ML

2013-05-30 wenzelm [Thu, 30 May 2013 14:17:56 +0200] rev 52235
tuned;
src/Tools/eqsubst.ML