2011-09-14 noschinl 2011-09-14 create central list for language extensions used by the haskell code generator
2011-09-14 boehmes 2011-09-14 observe distinction between sets and predicates
2011-09-14 nipkow 2011-09-14 merged
2011-09-14 nipkow 2011-09-14 cleand up AbsInt fixpoint iteration; tuned syntax
2011-09-13 huffman 2011-09-13 tuned proofs
2011-09-13 huffman 2011-09-13 tuned proofs
2011-09-13 huffman 2011-09-13 remove some redundant [simp] declarations; simplify some proofs;
2011-09-13 noschinl 2011-09-13 tune proofs
2011-09-13 noschinl 2011-09-13 tune simpset for Complete_Lattices
2011-09-13 bulwahn 2011-09-13 merged
2011-09-13 bulwahn 2011-09-13 added lemma motivated by a more specific lemma in the AFP-KBPs theories
2011-09-13 blanchet 2011-09-13 simplified unsound proof detection by removing impossible case
2011-09-13 bulwahn 2011-09-13 correcting NEWS
2011-09-13 bulwahn 2011-09-13 correcting theory name and dependencies
2011-09-13 bulwahn 2011-09-13 renamed AList_Impl to AList
2011-09-13 nipkow 2011-09-13 fastsimp -> fastforce in doc
2011-09-12 huffman 2011-09-12 fix typo
2011-09-12 huffman 2011-09-12 shorten proof of frontier_straddle
2011-09-12 huffman 2011-09-12 NEWS and CONTRIBUTORS
2011-09-12 huffman 2011-09-12 remove redundant lemma Lim_sequentially in favor of lemma LIMSEQ_def
2011-09-12 huffman 2011-09-12 simplify proofs using LIMSEQ lemmas
2011-09-12 huffman 2011-09-12 remove trivial lemma Lim_at_iff_LIM
2011-09-12 huffman 2011-09-12 fix typos
2011-09-12 huffman 2011-09-12 NEWS for euclidean_space class
2011-09-12 huffman 2011-09-12 move lemmas about complex number 'i' to Complex.thy and Library/Inner_Product.thy
2011-09-12 hoelzl 2011-09-12 adding NEWS and CONTRIBUTORS
2011-09-12 bulwahn 2011-09-12 merged
2011-09-12 bulwahn 2011-09-12 correcting imports after splitting and renaming AssocList
2011-09-12 bulwahn 2011-09-12 tuned
2011-09-12 bulwahn 2011-09-12 moving connection of association lists to Mappings into a separate theory
2011-09-12 bulwahn 2011-09-12 adding NEWS and CONTRIBUTORS
2011-09-12 bulwahn 2011-09-12 tuned some symbol that probably went there by some strange encoding issue
2011-09-12 blanchet 2011-09-12 added my contributions to NEWS and CONTRIBUTORS
2011-09-12 blanchet 2011-09-12 fixed type intersection (again)
2011-09-12 blanchet 2011-09-12 consistent option naming
2011-09-12 nipkow 2011-09-12 NEWS fastsimp -> fastforce
2011-09-12 nipkow 2011-09-12 new fastforce replacing fastsimp - less confusing name
2011-09-11 wenzelm 2011-09-11 merged
2011-09-11 huffman 2011-09-11 NEWS for Library/Product_Lattice.thy
2011-09-11 wenzelm 2011-09-11 misc tuning and clarification;
2011-09-11 wenzelm 2011-09-11 merged
2011-09-11 huffman 2011-09-11 merged
2011-09-11 huffman 2011-09-11 tuned proofs
2011-09-11 huffman 2011-09-11 Library/Saturated.thy: 'Sat' abbreviates 'of_nat'
2011-09-11 wenzelm 2011-09-11 more CONTRIBUTORS;
2011-09-11 wenzelm 2011-09-11 persistent ISABELLE_INTERFACE_CHOICE;
2011-09-11 wenzelm 2011-09-11 explicit choice of interface;
2011-09-11 wenzelm 2011-09-11 more orthogonal signature;
2011-09-11 wenzelm 2011-09-11 updates for release;
2011-09-11 wenzelm 2011-09-11 misc tuning and clarification (NB: settings are already local for named snapshots/releases);
2011-09-11 wenzelm 2011-09-11 some updates of PLATFORMS;
2011-09-11 wenzelm 2011-09-11 more README;
2011-09-10 wenzelm 2011-09-10 merged
2011-09-10 krauss 2011-09-10 mem_prs and mem_rsp in accordance with sets-as-predicates representation (backported from AFP/Coinductive)
2011-09-10 wenzelm 2011-09-10 misc tuning;
2011-09-10 wenzelm 2011-09-10 misc tuning and clarification;
2011-09-10 wenzelm 2011-09-10 speed up slow proof;
2011-09-10 wenzelm 2011-09-10 merged
2011-09-10 haftmann 2011-09-10 more modularization
2011-09-10 wenzelm 2011-09-10 stronger colors (as background);