2009-07-27 ago "more standard" argument order of relation composition (op O)
2009-07-27 ago NEWS
2009-07-26 ago tacticals FOCUS and FOCUS_PARAMS;
2009-07-23 ago Proper context for simpset_of, claset_of, clasimpset_of.
2009-07-22 ago merged
2009-07-22 ago set intersection and union now named inter and union
2009-07-22 ago merged, resolving trivial conflict;
2009-07-22 ago News
2009-07-21 ago Display.pretty_thm now requires a proper context;
2009-07-20 ago merged
2009-07-14 ago merged
2009-07-14 ago refinement of lattice classes
2009-07-19 ago parallel_proofs: more fine-grained control with optional parallel checking of nested Isar proofs;
2009-07-14 ago NEWS and CONTRIBUTORS
2009-07-09 ago renamed functor TableFun to Table, and GraphFun to Graph;
2009-07-02 ago renamed NamedThmsFun to Named_Thms;
2009-07-02 ago misc tuning;
2009-06-30 ago NEWS updated
2009-06-29 ago Implemented taylor series expansion for approximation
2009-06-26 ago lcm abs lemmas
2009-06-25 ago NEWS updated
2009-06-08 ago Added new evaluator "approximate"
2009-06-25 ago arbitrary farewell
2009-06-24 ago corrected and unified thm names
2009-06-23 ago tuned interfaces of datatype module
2009-06-19 ago merged
2009-06-19 ago discontinued ancient tradition to suffix certain ML module names with "_package"
2009-06-19 ago NewNumberTheory
2009-06-15 ago authentic syntax for Pow and image
2009-06-13 ago merged
2009-06-13 ago quickcheck using generic code generator
2009-06-10 ago discontinued escaped symbols;
2009-06-08 ago method linarith
2009-05-31 ago removed "compress" option from isabelle-process and isabelle usedir -- this is always enabled;
2009-05-31 ago discontinued support for Poly/ML 4.x versions;
2009-05-30 ago eliminated old Attrib.add_attributes (and Attrib.syntax);
2009-05-30 ago eliminated old Method.add_method(s);
2009-04-27 ago cleaned up theory power further
2009-04-24 ago funpow and relpow with shared "^^" syntax
2009-04-22 ago dropped duplication
2009-04-22 ago code_datatype and power
2009-04-20 ago merged
2009-04-20 ago changes in power operations
2009-04-17 ago formal declaration of undefined parameters after class instantiation
2009-04-17 ago separated funpow, relpow from power on monoids
2009-04-16 ago tightended specification of class semiring_div
2009-04-20 ago back to non-release mode;
2009-04-02 ago some more HOL-Nominal news;
2009-04-02 ago some HOL-Nominal news;
2009-04-02 ago tuned;
2009-04-02 ago misc cleanup and rearrangements for Isabelle2009 release;
2009-03-27 ago merged
2009-03-27 ago dropped toy example Code_Antiq
2009-03-26 ago interpretation/interpret: prefixes are mandatory by default;
2009-03-24 ago NEWS: [arith]
2009-03-20 ago Disposed old declarations, tactics, tactic combinators that refer to the simpset or claset of an implicit theory;
2009-03-19 ago tuned;
2009-03-16 ago document new additions to HOL/Library
2009-03-16 ago simplifief 'method_setup' command;
2009-03-15 ago merged