wenzelm [Thu, 30 May 2013 17:10:13 +0200] rev 53381
misc tuning;
wenzelm [Thu, 30 May 2013 17:02:09 +0200] rev 53380
prefer existing beta_eta_conversion;
wenzelm [Thu, 30 May 2013 16:53:32 +0200] rev 53379
more standard fold/fold_rev;
wenzelm [Thu, 30 May 2013 16:48:50 +0200] rev 53378
tuned import;
wenzelm [Thu, 30 May 2013 16:31:53 +0200] rev 53377
misc tuning;
wenzelm [Thu, 30 May 2013 16:11:14 +0200] rev 53376
prefer existing beta_eta_conversion;
wenzelm [Thu, 30 May 2013 15:51:55 +0200] rev 53375
more standard names;
wenzelm [Thu, 30 May 2013 15:02:33 +0200] rev 53374
simplified method setup;
wenzelm [Thu, 30 May 2013 14:37:06 +0200] rev 53373
tuned -- prefer terminology of tactic / goal state;
wenzelm [Thu, 30 May 2013 14:17:56 +0200] rev 53372
tuned;