isabelle: Changelog

haftmann [Wed, 28 Nov 2007 09:01:39 +0100] rev 25483

dropped legacy unnamed infix

haftmann [Wed, 28 Nov 2007 09:01:37 +0100] rev 25482

dropped implicit assumption proof

haftmann [Wed, 28 Nov 2007 09:01:34 +0100] rev 25481

dropped legacy ml bindings

wenzelm [Tue, 27 Nov 2007 21:06:52 +0100] rev 25480

tuned titles;

wenzelm [Tue, 27 Nov 2007 19:43:41 +0100] rev 25479

moved titles;

wenzelm [Tue, 27 Nov 2007 19:20:25 +0100] rev 25478

tuned title;

wenzelm [Tue, 27 Nov 2007 18:35:18 +0100] rev 25477

tuned titles;

wenzelm [Tue, 27 Nov 2007 16:48:38 +0100] rev 25476

standard_parse_term: check ambiguous results without changing the result yet;

wenzelm [Tue, 27 Nov 2007 16:48:37 +0100] rev 25475

challenge by John Harrison: down to 12s (was 17s, was 75s);

wenzelm [Tue, 27 Nov 2007 16:48:35 +0100] rev 25474

Knaster_Tarski: turned into Isar statement, tuned proofs;

isabelle