isabelle: Changelog

wenzelm [Fri, 27 Feb 2009 18:50:35 +0100] rev 30152

merged

immler@in.tum.de [Thu, 26 Feb 2009 10:13:43 +0100] rev 30151

removed global ref dfg_format

immler@in.tum.de [Wed, 25 Feb 2009 10:02:10 +0100] rev 30150

removed local ref const_needs_hBOOL; renamed some const_min_arity parameters to cma

immler@in.tum.de [Tue, 24 Feb 2009 18:06:36 +0100] rev 30149

removed local ref const_min_arity

wenzelm [Fri, 27 Feb 2009 18:03:47 +0100] rev 30148

eliminated private clones of List.partition;

wenzelm [Fri, 27 Feb 2009 16:54:49 +0100] rev 30147

observe some Isabelle/ML coding conventions; avoid structure alias FT, which would complicate systematic searches unnecessarily;

wenzelm [Fri, 27 Feb 2009 16:38:52 +0100] rev 30146

eliminated NJ's List.nth;

isabelle