isabelle: Changelog

haftmann [Mon, 26 Dec 2011 17:40:43 +0100] rev 45985

dropped Executable_Set wrapper theory

haftmann [Sun, 25 Dec 2011 08:42:33 +0100] rev 45984

updated certificate

haftmann [Sat, 24 Dec 2011 16:14:59 +0100] rev 45983

NEWS: `set` is now a proper type constructor

haftmann [Sat, 24 Dec 2011 16:14:58 +0100] rev 45982

dropped references to obsolete facts `mem_def` and `Collect_def`

haftmann [Sat, 24 Dec 2011 16:14:58 +0100] rev 45981

dropped references to obsolete facts `mem_def_raw` and `Collect_def_raw`

haftmann [Sat, 24 Dec 2011 16:14:58 +0100] rev 45980

adjusted to set/pred distinction by means of type constructor `set`

haftmann [Sat, 24 Dec 2011 16:14:58 +0100] rev 45979

treatment of type constructor `set`

haftmann [Sat, 24 Dec 2011 15:55:03 +0100] rev 45978

executable intervals

haftmann [Sat, 24 Dec 2011 15:54:58 +0100] rev 45977

`set` is now a proper type constructor

haftmann [Sat, 24 Dec 2011 15:53:12 +0100] rev 45976

tuned layout

isabelle