haftmann [Tue, 19 Nov 2013 10:05:53 +0100] rev 55862
eliminiated neg_numeral in favour of - (numeral _)
blanchet [Tue, 19 Nov 2013 01:30:14 +0100] rev 55861
more tuning for speed
blanchet [Tue, 19 Nov 2013 01:30:14 +0100] rev 55860
tuning
blanchet [Tue, 19 Nov 2013 01:30:14 +0100] rev 55859
tuned proofs
blanchet [Tue, 19 Nov 2013 01:30:14 +0100] rev 55858
killed more needless theorems
blanchet [Tue, 19 Nov 2013 01:29:50 +0100] rev 55857
killed unused lemmas
blanchet [Tue, 19 Nov 2013 01:29:50 +0100] rev 55856
optimized more bad apples
blanchet [Tue, 19 Nov 2013 01:29:50 +0100] rev 55855
optimized 'bad apple' method calls
blanchet [Mon, 18 Nov 2013 18:04:45 +0100] rev 55854
compile
blanchet [Mon, 18 Nov 2013 18:04:45 +0100] rev 55853
no need for 3-way split with GFP for a handful of theorems