2011-09-17 wenzelm 2011-09-17 Symbol.explode as in ML;
2011-09-17 wenzelm 2011-09-17 ignore OUTPUT to avoid spam -- jEdit menu "Troubleshooting / Activity Log" should be sufficient;
2011-09-17 haftmann 2011-09-17 dropped unused argument – avoids problem with SML/NJ
2011-09-17 haftmann 2011-09-17 tuned spacing
2011-09-17 haftmann 2011-09-17 tuned
2011-09-17 nipkow 2011-09-17 tuned post fixpoint setup
2011-09-17 nipkow 2011-09-17 merged
2011-09-16 nipkow 2011-09-16 when applying induction rules, remove names of assumptions that come with the rule in case the rule is transformed by the simplifier due to instantiations
2011-09-16 noschinl 2011-09-16 remove stray "using [[simp_trace]]"
2011-09-16 noschinl 2011-09-16 tune indenting
2011-09-16 kleing 2011-09-16 removed unused legacy lemma names, some comment cleanup.
2011-09-16 kleing 2011-09-16 removed word_neq_0_conv from simpset, it's almost never wanted.
2011-09-15 hoelzl 2011-09-15 removed further legacy rules from Complete_Lattices
2011-09-15 noschinl 2011-09-15 NEWS on Complete_Lattices, Lattices
2011-09-15 blanchet 2011-09-15 tail recursive proof preprocessing (needed for huge proofs)
2011-09-15 blanchet 2011-09-15 tuning
2011-09-15 nipkow 2011-09-15 merged
2011-09-15 nipkow 2011-09-15 revised AbsInt and added widening and narrowing
2011-09-14 haftmann 2011-09-14 updated comment
2011-09-14 haftmann 2011-09-14 updated generated code
2011-09-13 haftmann 2011-09-13 tuned
2011-09-14 hoelzl 2011-09-14 renamed Complete_Lattices lemmas, removed legacy names
2011-09-14 noschinl 2011-09-14 merged
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