isabelle: Changelog

haftmann [Thu, 11 Mar 2010 14:38:20 +0100] rev 35724

fixed typo

haftmann [Thu, 11 Mar 2010 14:38:19 +0100] rev 35723

tuned monoid locales and prefix of sublocale interpretations

haftmann [Thu, 11 Mar 2010 14:38:13 +0100] rev 35722

moved cardinality to Finite_Set as far as appropriate; added locales for fold_image

haftmann [Thu, 11 Mar 2010 14:38:09 +0100] rev 35721

fixed typo

haftmann [Wed, 10 Mar 2010 16:53:43 +0100] rev 35720

added locales for monoids

haftmann [Wed, 10 Mar 2010 16:53:27 +0100] rev 35719

split off theory Big_Operators from theory Finite_Set

blanchet [Thu, 11 Mar 2010 17:48:07 +0100] rev 35718

moved some Nitpick code around

wenzelm [Thu, 11 Mar 2010 23:45:41 +0100] rev 35717

more basic Local_Defs.export_cterm;

wenzelm [Thu, 11 Mar 2010 23:07:12 +0100] rev 35716

tuned signature;

wenzelm [Thu, 11 Mar 2010 23:07:02 +0100] rev 35715

tuned;

isabelle