wenzelm [Thu, 28 Feb 2013 14:24:21 +0100] rev 52447
eliminated legacy 'axioms';
wenzelm [Thu, 28 Feb 2013 14:22:14 +0100] rev 52446
eliminated legacy 'axioms';
wenzelm [Thu, 28 Feb 2013 14:10:54 +0100] rev 52445
eliminated legacy 'axioms';
wenzelm [Thu, 28 Feb 2013 13:54:45 +0100] rev 52444
eliminated legacy 'axioms';
wenzelm [Thu, 28 Feb 2013 13:46:45 +0100] rev 52443
eliminated legacy 'axioms';
wenzelm [Thu, 28 Feb 2013 13:33:01 +0100] rev 52442
eliminated legacy 'axioms';
wenzelm [Thu, 28 Feb 2013 13:24:51 +0100] rev 52441
marginalized historic strip_tac;
wenzelm [Thu, 28 Feb 2013 13:19:25 +0100] rev 52440
tuned proof;
wenzelm [Thu, 28 Feb 2013 12:43:28 +0100] rev 52439
tuned whitespace and indentation;
wenzelm [Thu, 28 Feb 2013 12:24:24 +0100] rev 52438
simplified imports;