2012-03-28 removed references to obsolete theorems
huffman [Wed, 28 Mar 2012 12:28:24 +0200] rev 47183
removed references to obsolete theorems
2012-03-28 merged
bulwahn [Wed, 28 Mar 2012 11:40:12 +0200] rev 47182
merged
2012-03-28 some tuning while reviewing the current state of the quotient_def package
bulwahn [Wed, 28 Mar 2012 10:44:04 +0200] rev 47181
some tuning while reviewing the current state of the quotient_def package
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip