NEWS
2009-02-21 nipkow NEWS
2009-02-12 kleing added find_consts to NEWS and CONTRIBUTORS
2009-02-11 kleing fixed typo
2009-02-11 kleing updated NEWS etc with "solves" criterion and auto_solves
2009-02-06 haftmann session Reflecion renamed to Decision_Procs, moved Dense_Linear_Order there
2009-02-05 hoelzl Updated NEWS about approximation
2009-02-05 hoelzl Add approximation method
2009-02-03 haftmann handling type classes without parameters
2009-02-03 haftmann established session HOL-Reflection
2009-01-28 nipkow -
2009-01-28 haftmann Reflection.thy now in HOL/Library
2009-01-26 haftmann entry point for Word library now named Word
2009-01-22 haftmann binding replaces Binding.T
2009-01-21 haftmann no base sort in class import
2009-01-08 haftmann NEWS and CONTRIBUTORS
2008-12-30 ballarin New locales.
2008-12-29 haftmann adapted HOL source structure to distribution layout
2008-12-27 krauss tuned NEWS; CONTRIBUTORS
2008-12-23 wenzelm tuned;
2008-12-23 wenzelm * Proofs of are run in parallel on multi-core systems;
2008-12-20 wenzelm removed Ids;
2008-12-16 krauss method "sizechange" proves termination of functions; added more infrastructure for termination proofs
2008-12-04 haftmann merged
2008-12-04 haftmann cleaned up binding module and related code
2008-12-04 nipkow NEWS
2008-12-03 haftmann made repository layout more coherent with logical distribution structure; stripped some $Id$s
2008-11-30 wenzelm removed obsolete isabelle-interface executable and ISABELLE_INTERFACE setting;
2008-11-30 wenzelm default for ISABELLE_HOME_USER is now ~/.isabelle instead of ~/isabelle;
2008-11-19 wenzelm Pure syntax: more coherent treatment of aprop, permanent TERM and &&&;
2008-11-19 nipkow *** empty log message ***
less more (0) -1000 -300 -100 -50 -30 tip