isabelle: Changelog

haftmann [Thu, 20 Nov 2008 14:55:25 +0100] rev 28861

using name bindings

haftmann [Thu, 20 Nov 2008 14:51:40 +0100] rev 28860

name spaces and name bindings

ballarin [Thu, 20 Nov 2008 10:29:35 +0100] rev 28859

Deleted debug message (PolyML).

wenzelm [Thu, 20 Nov 2008 00:03:55 +0100] rev 28858

removed traces of former 'includes' element;

wenzelm [Thu, 20 Nov 2008 00:03:53 +0100] rev 28857

updated generated files;

wenzelm [Thu, 20 Nov 2008 00:03:47 +0100] rev 28856

Pure syntax: more coherent treatment of aprop, permanent TERM and &&&;

nipkow [Wed, 19 Nov 2008 18:15:31 +0100] rev 28855

*** empty log message ***

Wed, 19 Nov 2008 17:55:18 +0100 fixed

nipkow [Wed, 19 Nov 2008 17:55:18 +0100] rev 28854

fixed

nipkow [Wed, 19 Nov 2008 17:54:55 +0100] rev 28853

Added new fold operator and renamed the old oe to fold_image.

ballarin [Wed, 19 Nov 2008 17:04:29 +0100] rev 28852

Type inference for elements through syntax module.

isabelle