Mon, 01 Sep 2014 16:17:46 +0200 blanchet took out legacy material from 'HOL/Library/Library.thy'
Mon, 01 Sep 2014 16:17:46 +0200 blanchet removed commented out parts
Mon, 01 Sep 2014 16:17:46 +0200 blanchet tuned whitespace
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 tip