NEWS
2009-10-18 nipkow 2009-10-18 Inv -> inv_onto, inv abbr. inv_onto UNIV.
2009-10-17 ballarin 2009-10-17 Merged.
2009-10-17 ballarin 2009-10-17 Finished revisions of locales tutorial.
2009-10-17 wenzelm 2009-10-17 operations of structure Skip_Proof (formerly SkipProof) no longer require quick_and_dirty mode;
2009-10-09 haftmann 2009-10-09 term styles also cover antiquotations term_type and typeof
2009-10-08 haftmann 2009-10-08 new generalized concept for term styles
2009-10-01 ballarin 2009-10-01 News entry: inheritance of mixins; print_interps.
2009-09-30 haftmann 2009-09-30 merged
2009-09-30 haftmann 2009-09-30 mandatory prefix where appropriate
2009-09-29 wenzelm 2009-09-29 Synchronized and Unsynchronized;
2009-09-25 haftmann 2009-09-25 NEWS; corrected spelling
2009-09-22 haftmann 2009-09-22 merged
2009-09-21 haftmann 2009-09-21 added note on simp rules
2009-09-21 haftmann 2009-09-21 merged
2009-09-19 haftmann 2009-09-19 inter and union are mere abbreviations for inf and sup
2009-09-22 haftmann 2009-09-22 be more cautious wrt. simp rules: inf_absorb1, inf_absorb2, sup_absorb1, sup_absorb2 are no simp rules by default any longer
2009-09-18 boehmes 2009-09-18 added new method "smt": an oracle-based connection to external SMT solvers
2009-09-18 haftmann 2009-09-18 INTER and UNION are mere abbreviations for INFI and SUPR
2009-09-18 haftmann 2009-09-18 tuned NEWS, added CONTRIBUTORS
2009-09-17 paulson 2009-09-17 NEWS: New method metisFT
2009-09-16 haftmann 2009-09-16 Inter and Union are mere abbreviations for Inf and Sup; tuned
2009-09-01 haftmann 2009-09-01 corrected spelling
2009-09-01 haftmann 2009-09-01 some reorganization of number theory
2009-08-31 krauss 2009-08-31 moved lemma Wellfounded.in_inv_image to Relation.thy
2009-08-28 wenzelm 2009-08-28 discontinued Display.pretty_ctyp/cterm etc.;
2009-08-28 wenzelm 2009-08-28 misc updates and tuning;
2009-08-21 boehmes 2009-08-21 added Mirabelle to NEWS
2009-08-12 wenzelm 2009-08-12 added PARALLEL_CHOICE, PARALLEL_GOALS;
2009-08-04 wenzelm 2009-08-04 etc/components; isabelle makeall operates on all components with IsaMakefile;
2009-07-29 nipkow 2009-07-29 sos documentation
2009-07-28 haftmann 2009-07-28 Set.UNIV and Set.empty are mere abbreviations for top and bot
2009-07-27 krauss 2009-07-27 "more standard" argument order of relation composition (op O)
2009-07-27 haftmann 2009-07-27 NEWS
2009-07-26 wenzelm 2009-07-26 tacticals FOCUS and FOCUS_PARAMS;
2009-07-23 wenzelm 2009-07-23 Proper context for simpset_of, claset_of, clasimpset_of.
2009-07-22 haftmann 2009-07-22 merged
2009-07-22 haftmann 2009-07-22 set intersection and union now named inter and union
2009-07-22 wenzelm 2009-07-22 merged, resolving trivial conflict;
2009-07-22 nipkow 2009-07-22 News
2009-07-21 wenzelm 2009-07-21 Display.pretty_thm now requires a proper context;
2009-07-20 wenzelm 2009-07-20 merged
2009-07-14 haftmann 2009-07-14 merged
2009-07-14 haftmann 2009-07-14 refinement of lattice classes
2009-07-19 wenzelm 2009-07-19 parallel_proofs: more fine-grained control with optional parallel checking of nested Isar proofs;
2009-07-14 haftmann 2009-07-14 NEWS and CONTRIBUTORS
2009-07-09 wenzelm 2009-07-09 renamed functor TableFun to Table, and GraphFun to Graph;
2009-07-02 wenzelm 2009-07-02 renamed NamedThmsFun to Named_Thms;
2009-07-02 wenzelm 2009-07-02 misc tuning;
2009-06-30 hoelzl 2009-06-30 NEWS updated
2009-06-29 hoelzl 2009-06-29 Implemented taylor series expansion for approximation
2009-06-26 nipkow 2009-06-26 lcm abs lemmas
2009-06-25 hoelzl 2009-06-25 NEWS updated
2009-06-08 hoelzl 2009-06-08 Added new evaluator "approximate"
2009-06-25 haftmann 2009-06-25 arbitrary farewell
2009-06-24 nipkow 2009-06-24 corrected and unified thm names
2009-06-23 haftmann 2009-06-23 tuned interfaces of datatype module
2009-06-19 haftmann 2009-06-19 merged
2009-06-19 haftmann 2009-06-19 discontinued ancient tradition to suffix certain ML module names with "_package"
2009-06-19 nipkow 2009-06-19 NewNumberTheory
2009-06-15 haftmann 2009-06-15 authentic syntax for Pow and image