haftmann [Sun, 17 Feb 2013 11:34:40 +0100] rev 52307
simplified construction of upto_aux
haftmann [Sun, 17 Feb 2013 11:06:10 +0100] rev 52306
merged
haftmann [Sat, 16 Feb 2013 08:21:08 +0100] rev 52305
restored proper order of NEWS entries (lost due too long-waiting patches)
haftmann [Sun, 17 Feb 2013 10:40:53 +0100] rev 52304
CONTRIBUTORS
nipkow [Sat, 16 Feb 2013 15:27:10 +0100] rev 52303
tail recursive code for function "upto"
blanchet [Fri, 15 Feb 2013 16:53:39 +0100] rev 52302
tuning
blanchet [Fri, 15 Feb 2013 16:40:39 +0100] rev 52301
repaired collateral damage from 4f0147ed8bcb
traytel [Fri, 15 Feb 2013 16:17:05 +0100] rev 52300
Backed out changeset: 3fe7242f8346,
many proofs (e.g. in Extended_Real and Approximation) rely on coercions not being lifted over sets
haftmann [Fri, 15 Feb 2013 12:48:20 +0100] rev 52299
dropped now obsolete hint;
a few words on theory IArray;
dropped reference to obsolete theory Efficient_Nat
haftmann [Fri, 15 Feb 2013 11:47:34 +0100] rev 52298
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