isabelle: Changelog

wenzelm [Fri, 04 Jul 2014 15:46:13 +0200] rev 57506

suppress completion of obscure keyword;

wenzelm [Fri, 04 Jul 2014 14:58:52 +0200] rev 57505

tuned;

wenzelm [Fri, 04 Jul 2014 14:52:05 +0200] rev 57504

misc tuning for release;

wenzelm [Fri, 04 Jul 2014 11:39:34 +0200] rev 57503

NEWS;

nipkow [Thu, 03 Jul 2014 16:42:15 +0200] rev 57502

Tail recursion no longer supported by "function".

haftmann [Thu, 03 Jul 2014 14:40:36 +0200] rev 57501

merged

Christian Sternagel [Thu, 03 Jul 2014 09:55:16 +0200] rev 57500

weaker assumption for "list_emb_trans"; added lemma

Christian Sternagel [Thu, 03 Jul 2014 09:55:15 +0200] rev 57499

added monotonicity lemma for list embedding

Christian Sternagel [Thu, 03 Jul 2014 09:55:15 +0200] rev 57498

no built-in reflexivity of list embedding (which is more standard; now embedding is reflexive whenever the base-order is)

Christian Sternagel [Thu, 03 Jul 2014 09:55:15 +0200] rev 57497

renamed "list_hembeq" into slightly shorter "list_emb"

isabelle