wenzelm [Wed, 30 Nov 2011 23:30:08 +0100] rev 46572
discontinued obsolete datatype "alt_names";
wenzelm [Wed, 30 Nov 2011 21:14:01 +0100] rev 46571
misc tuning;
wenzelm [Wed, 30 Nov 2011 19:18:17 +0100] rev 46570
merged
wenzelm [Wed, 30 Nov 2011 18:07:14 +0100] rev 46569
prefer typedef without alternative name;
wenzelm [Wed, 30 Nov 2011 17:30:01 +0100] rev 46568
prefer cpodef without extra definition;
wenzelm [Wed, 30 Nov 2011 16:27:10 +0100] rev 46567
prefer typedef without extra definition and alternative name;
tuned proofs;
wenzelm [Wed, 30 Nov 2011 16:05:15 +0100] rev 46566
tuned layout;
wenzelm [Wed, 30 Nov 2011 16:03:18 +0100] rev 46565
tuned header;
kuncar [Wed, 30 Nov 2011 18:50:46 +0100] rev 46564
removed outdated comment moved back and updated (at the direct request of Christian Urban)
bulwahn [Wed, 30 Nov 2011 15:07:10 +0100] rev 46563
more stable introduction of the internally used unknown term