Sun, 17 Feb 2013 11:06:10 +0100 merged
haftmann [Sun, 17 Feb 2013 11:06:10 +0100] rev 51169
merged
Sat, 16 Feb 2013 08:21:08 +0100 restored proper order of NEWS entries (lost due too long-waiting patches)
haftmann [Sat, 16 Feb 2013 08:21:08 +0100] rev 51168
restored proper order of NEWS entries (lost due too long-waiting patches)
Sun, 17 Feb 2013 10:40:53 +0100 CONTRIBUTORS
haftmann [Sun, 17 Feb 2013 10:40:53 +0100] rev 51167
CONTRIBUTORS
Sat, 16 Feb 2013 15:27:10 +0100 tail recursive code for function "upto"
nipkow [Sat, 16 Feb 2013 15:27:10 +0100] rev 51166
tail recursive code for function "upto"
Fri, 15 Feb 2013 16:53:39 +0100 tuning
blanchet [Fri, 15 Feb 2013 16:53:39 +0100] rev 51165
tuning
Fri, 15 Feb 2013 16:40:39 +0100 repaired collateral damage from 4f0147ed8bcb
blanchet [Fri, 15 Feb 2013 16:40:39 +0100] rev 51164
repaired collateral damage from 4f0147ed8bcb
Fri, 15 Feb 2013 16:17:05 +0100 Backed out changeset: 3fe7242f8346,
traytel [Fri, 15 Feb 2013 16:17:05 +0100] rev 51163
Backed out changeset: 3fe7242f8346, many proofs (e.g. in Extended_Real and Approximation) rely on coercions not being lifted over sets
Fri, 15 Feb 2013 12:48:20 +0100 dropped now obsolete hint;
haftmann [Fri, 15 Feb 2013 12:48:20 +0100] rev 51162
dropped now obsolete hint; a few words on theory IArray; dropped reference to obsolete theory Efficient_Nat
Fri, 15 Feb 2013 11:47:34 +0100 attempt to re-establish conventions which theories are loaded into the grand unified library theory;
haftmann [Fri, 15 Feb 2013 11:47:34 +0100] rev 51161
attempt to re-establish conventions which theories are loaded into the grand unified library theory; four different code generation tests for different code setup constellations; augment code generation setup where necessary
Fri, 15 Feb 2013 11:47:33 +0100 systematic conversions between nat and nibble/char;
haftmann [Fri, 15 Feb 2013 11:47:33 +0100] rev 51160
systematic conversions between nat and nibble/char; more uniform approaches to execute operations on nibble/char
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip