isabelle: Changelog

wenzelm [Wed, 05 Dec 2012 14:13:47 +0100] rev 50364

tuned;

wenzelm [Wed, 05 Dec 2012 12:22:55 +0100] rev 50363

tuned signature in accordance to document operations;

wenzelm [Wed, 05 Dec 2012 11:34:04 +0100] rev 50362

tuned;

nipkow [Wed, 05 Dec 2012 11:05:34 +0100] rev 50361

merged

nipkow [Wed, 05 Dec 2012 11:05:23 +0100] rev 50360

\<noteq> now has the same associativity as ~= and =

blanchet [Wed, 05 Dec 2012 10:35:58 +0100] rev 50359

tweaked order of theorems to avoid forward dependencies (MaSh)

blanchet [Tue, 04 Dec 2012 23:50:36 +0100] rev 50358

rationalized MaSh evaluation harness

blanchet [Tue, 04 Dec 2012 23:43:24 +0100] rev 50357

more robustness in the face of MaSh format changes -- don't overwrite new versions with old versions

blanchet [Tue, 04 Dec 2012 23:19:03 +0100] rev 50356

added feature weights in MaSh

blanchet [Tue, 04 Dec 2012 23:19:02 +0100] rev 50355

promote local facts using a hack (for MaSh)

isabelle