2014-10-19 haftmann 2014-10-19 prefer generic elimination rules for even/odd over specialized unfold rules for nat
2014-10-19 wenzelm 2014-10-19 NEWS;
2014-10-19 wenzelm 2014-10-19 omit pointless nodes for proof commands etc.;
2014-10-19 wenzelm 2014-10-19 tuned signature and modules;
2014-10-18 wenzelm 2014-10-18 merged
2014-10-18 wenzelm 2014-10-18 NEWS;
2014-10-18 wenzelm 2014-10-18 more folds;
2014-10-18 wenzelm 2014-10-18 always apply precedingFoldLevels, avoid unclear shortcuts; updated Console.jar 5.1.4;
2014-10-18 wenzelm 2014-10-18 make double-sure that line context is present, e.g. relevant for last line after visible text;
2014-10-18 wenzelm 2014-10-18 clarified Line_Structure wrt. command span;
2014-10-18 wenzelm 2014-10-18 tuned signature;
2014-10-18 wenzelm 2014-10-18 tuned signature;
2014-10-18 wenzelm 2014-10-18 tuned signature;
2014-10-16 wenzelm 2014-10-16 more explicit Line_Nesting;
2014-10-16 wenzelm 2014-10-16 tuned comments;
2014-10-16 wenzelm 2014-10-16 support line context with depth; basic setup for "isabelle" fold handling; misc tuning;
2014-10-16 wenzelm 2014-10-16 proper type comparison (amending cd4439d8799c);
2014-10-16 wenzelm 2014-10-16 tuned;
2014-10-16 haftmann 2014-10-16 tuned
2014-10-16 haftmann 2014-10-16 standard elimination rule for even
2014-10-16 haftmann 2014-10-16 tuned facts on even and power
2014-10-16 haftmann 2014-10-16 restructured
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