2014-10-16 haftmann 2014-10-16 even more cleanup
2014-10-16 blanchet 2014-10-16 made SML/NJ happier
2014-10-15 blanchet 2014-10-15 made SML/NJ happier
2014-10-15 blanchet 2014-10-15 tuned whitespace
2014-10-14 wenzelm 2014-10-14 buffer_line_context via untyped access;
2014-10-14 wenzelm 2014-10-14 access class hierarchy; smash access to null;
2014-10-14 haftmann 2014-10-14 legacy cleanup
2014-10-14 haftmann 2014-10-14 more algebraic deductions for facts on even/odd
2014-10-14 haftmann 2014-10-14 more algebraic deductions for facts on even/odd
2014-10-14 haftmann 2014-10-14 purely algebraic characterization of even and odd
2014-10-14 desharna 2014-10-14 document 'sel_transfer'
2014-10-14 desharna 2014-10-14 generate 'sel_transfer' for (co)datatypes
2014-10-14 desharna 2014-10-14 add 'kind' to 'cr_sugar'
2014-10-14 desharna 2014-10-14 add 'fp_bnf' to 'bnf_sugar'
2014-10-14 desharna 2014-10-14 preserve the structure of 'set_intros' theorem in ML
2014-10-14 desharna 2014-10-14 preserve the structure of 'map_sel' theorem in ML
2014-10-14 desharna 2014-10-14 preserve the structure of 'set_sel' theorem in ML
2014-10-14 steckerm 2014-10-14 Fixed bug in waldmeister skolemization
2014-10-14 wenzelm 2014-10-14 tuned signature;
2014-10-13 wenzelm 2014-10-13 tuned signature;
2014-10-13 wenzelm 2014-10-13 merged
2014-10-13 wenzelm 2014-10-13 tuned signature;
2014-10-13 wenzelm 2014-10-13 tuned signature;
2014-10-13 wenzelm 2014-10-13 obsolete;
2014-10-13 wenzelm 2014-10-13 module Interpretation is superseded by Plugin;
2014-10-13 wenzelm 2014-10-13 module Interpretation is superseded by Plugin;
2014-10-13 wenzelm 2014-10-13 module Interpretation is superseded by Plugin;
2014-10-13 wenzelm 2014-10-13 clarified load order; tuned signature;
2014-10-13 wenzelm 2014-10-13 Local_Interpretation is superseded by Plugin with formal Plugin_Name management, avoiding undeclared strings;
2014-10-13 wenzelm 2014-10-13 support for indirections (defined entries), e.g. relevant for quickcheck and its sub-plugins;
2014-10-13 wenzelm 2014-10-13 support for named plugins for definitional packages;
2014-10-13 immler 2014-10-13 relaxed class constraints for exp
2014-10-13 nipkow 2014-10-13 tuned
2014-10-12 blanchet 2014-10-12 special treatment of extensionality in minimizer
2014-10-12 blanchet 2014-10-12 improved handling of extensionality in Isar proofs generated from LEO-II and Satallax
2014-10-12 blanchet 2014-10-12 made SML/NJ happier
2014-10-12 haftmann 2014-10-12 leftover from 3ccafeb9a1d1
2014-10-12 haftmann 2014-10-12 some more facts on divisibility
2014-10-12 haftmann 2014-10-12 generalized and consolidated some theorems concerning divisibility
2014-10-12 haftmann 2014-10-12 eliminiated clone
2014-10-12 haftmann 2014-10-12 more facts about abstract divisibility
2014-10-10 haftmann 2014-10-10 specialized specification: avoid trivial instances
2014-10-09 haftmann 2014-10-09 more foundational definition for predicate even
2014-10-10 nipkow 2014-10-10 New example Bubblesort
2014-10-09 haftmann 2014-10-09 formally completeted set of experimental static evaluation functions
2014-10-09 wenzelm 2014-10-09 merged
2014-10-09 wenzelm 2014-10-09 afford slightly bigger JVM stack (see also f7ba30a816b9);
2014-10-09 wenzelm 2014-10-09 prefer original TEMP from Windows, e.g. relevant for Isabelle distribution within read-only directory (due to its bundled Cygwin and /tmp inside of it);
2014-10-09 wenzelm 2014-10-09 prefer Unix standard-conformant $TMPDIR over hard-wired /tmp;
2014-10-09 wenzelm 2014-10-09 proper @{cite} with bibtex entry (unchecked comment);
2014-10-09 hoelzl 2014-10-09 fix document generation in Code_Test
2014-10-08 wenzelm 2014-10-08 merged
2014-10-08 wenzelm 2014-10-08 eliminated some exotic combinators;
2014-10-08 wenzelm 2014-10-08 added parameterized ML antiquotations @{map N}, @{fold N}, @{fold_map N}, @{split_list N};
2014-10-08 wenzelm 2014-10-08 tuned;
2014-10-08 wenzelm 2014-10-08 tuned;
2014-10-08 wenzelm 2014-10-08 clarified messages depending on options; misc tuning and simplification;
2014-10-08 wenzelm 2014-10-08 simplified "sos" method;
2014-10-08 wenzelm 2014-10-08 tuned signature; tuned whitespace;
2014-10-08 wenzelm 2014-10-08 tuned spelling; tuned whitespace;