Wed, 22 Aug 2018 13:33:50 +0000 prefer constructive primitive_part over implicit content_decompose
haftmann [Wed, 22 Aug 2018 13:33:50 +0000] rev 68790
prefer constructive primitive_part over implicit content_decompose
Wed, 22 Aug 2018 16:41:29 +0200 merged
nipkow [Wed, 22 Aug 2018 16:41:29 +0200] rev 68789
merged
Wed, 22 Aug 2018 16:41:10 +0200 tuned lemmas
nipkow [Wed, 22 Aug 2018 16:41:10 +0200] rev 68788
tuned lemmas
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 tip