isabelle: Changelog

blanchet [Wed, 04 Mar 2009 15:32:57 +0100] rev 30251

Added "nitpick_const_simp" attribute to Nominal primrec.

wenzelm [Wed, 04 Mar 2009 14:23:54 +0100] rev 30250

NEWS: renamed o2s to Option.set;

haftmann [Wed, 04 Mar 2009 13:42:23 +0100] rev 30249

less arbitrary occurrences of undefined

haftmann [Wed, 04 Mar 2009 13:41:59 +0100] rev 30248

datatype antiquotation does not assume LaTeX as output any longer

nipkow [Wed, 04 Mar 2009 11:49:12 +0100] rev 30247

merged

nipkow [Wed, 04 Mar 2009 11:48:52 +0100] rev 30246

Option.thy

haftmann [Wed, 04 Mar 2009 11:44:05 +0100] rev 30245

consequent rewrite of index_size, size [index] to nat_of; support pseudo-primrec sepcifications with fun

haftmann [Wed, 04 Mar 2009 11:37:50 +0100] rev 30244

merged

haftmann [Wed, 04 Mar 2009 10:52:47 +0100] rev 30243

explicit error message for `improper` instances lacking explicit instance parameter constants

blanchet [Wed, 04 Mar 2009 11:05:29 +0100] rev 30242

Merge.

isabelle