NEWS
2009-03-03 nipkow 2009-03-03 removed and renamed redundant lemmas
2009-03-02 nipkow 2009-03-02 name fix
2009-03-02 nipkow 2009-03-02 name changes
2009-03-01 nipkow 2009-03-01 removed redundant lemmas
2009-02-28 huffman 2009-02-28 add news for HOLCF; fixed some typos and inaccuracies
2009-02-28 wenzelm 2009-02-28 * New prover for coherent logic (see src/Tools/coherent.ML).
2009-02-26 wenzelm 2009-02-26 tuned NEWS;
2009-02-25 nipkow 2009-02-25 NEWS
2009-02-21 nipkow 2009-02-21 NEWS
2009-02-13 kleing 2009-02-13 added find_consts to NEWS and CONTRIBUTORS
2009-02-11 kleing 2009-02-11 fixed typo
2009-02-11 kleing 2009-02-11 updated NEWS etc with "solves" criterion and auto_solves
2009-02-06 haftmann 2009-02-06 session Reflecion renamed to Decision_Procs, moved Dense_Linear_Order there
2009-02-05 hoelzl 2009-02-05 Updated NEWS about approximation
2009-02-05 hoelzl 2009-02-05 Add approximation method
2009-02-03 haftmann 2009-02-03 handling type classes without parameters
2009-02-03 haftmann 2009-02-03 established session HOL-Reflection
2009-01-28 nipkow 2009-01-28 -
2009-01-28 haftmann 2009-01-28 Reflection.thy now in HOL/Library
2009-01-26 haftmann 2009-01-26 entry point for Word library now named Word
2009-01-22 haftmann 2009-01-22 binding replaces Binding.T
2009-01-21 haftmann 2009-01-21 no base sort in class import
2009-01-08 haftmann 2009-01-08 NEWS and CONTRIBUTORS
2008-12-30 ballarin 2008-12-30 New locales.
2008-12-29 haftmann 2008-12-29 adapted HOL source structure to distribution layout
2008-12-27 krauss 2008-12-27 tuned NEWS; CONTRIBUTORS
2008-12-23 wenzelm 2008-12-23 tuned;
2008-12-23 wenzelm 2008-12-23 * Proofs of are run in parallel on multi-core systems; * High-level support for concurrent ML programming;
2008-12-20 wenzelm 2008-12-20 removed Ids;
2008-12-16 krauss 2008-12-16 method "sizechange" proves termination of functions; added more infrastructure for termination proofs
2008-12-04 haftmann 2008-12-04 merged
2008-12-04 haftmann 2008-12-04 cleaned up binding module and related code
2008-12-04 nipkow 2008-12-04 NEWS
2008-12-03 haftmann 2008-12-03 made repository layout more coherent with logical distribution structure; stripped some $Id$s
2008-11-30 wenzelm 2008-11-30 removed obsolete isabelle-interface executable and ISABELLE_INTERFACE setting;
2008-11-30 wenzelm 2008-11-30 default for ISABELLE_HOME_USER is now ~/.isabelle instead of ~/isabelle;
2008-11-20 wenzelm 2008-11-20 Pure syntax: more coherent treatment of aprop, permanent TERM and &&&;
2008-11-19 nipkow 2008-11-19 *** empty log message ***
2008-11-13 haftmann 2008-11-13 simproc for let
2008-10-30 ballarin 2008-10-30 Dropped context element 'includes'.
2008-10-28 paulson 2008-10-28 The metis method no longer fails because the theorem is too trivial
2008-10-24 haftmann 2008-10-24 new classes "top" and "bot"
2008-10-23 wenzelm 2008-10-23 multithreading support only for polyml-5.2.1 or later;
2008-10-16 wenzelm 2008-10-16 tuned;
2008-10-16 wenzelm 2008-10-16 tuned;
2008-10-16 wenzelm 2008-10-16 goal-directed proof now enforces strict proof irrelevance wrt. sort hypotheses;
2008-10-15 wenzelm 2008-10-15 tuned;
2008-10-15 wenzelm 2008-10-15 tuned;
2008-10-15 wenzelm 2008-10-15 generic ATP manager based on threads (by Fabian Immler);
2008-10-10 haftmann 2008-10-10 tuned
2008-10-10 haftmann 2008-10-10 tuned default rules of (dvd)
2008-10-07 haftmann 2008-10-07 only one theorem table for both code generators
2008-10-04 wenzelm 2008-10-04 simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle;
2008-10-03 wenzelm 2008-10-03 tuned;
2008-10-03 wenzelm 2008-10-03 Vampire wrapper script for remote SystemOnTPTP service (by Fabian Immler);
2008-09-25 haftmann 2008-09-25 non left-linear equations for nbe
2008-09-18 wenzelm 2008-09-18 tuned;
2008-09-18 wenzelm 2008-09-18 simplified oracle interface;
2008-09-17 wenzelm 2008-09-17 * ML bindings produced via Isar commands are stored within the Isar context. * Command 'ML_prf' is analogous to 'ML' but works within a proof context.
2008-09-16 wenzelm 2008-09-16 multithreading for Poly/ML 5.1 is no longer supported;