isabelle: Changelog

webertj [Tue, 10 Mar 2009 08:47:45 +0000] rev 30406

Instead of giving up entirely, arith now ignores all inequalities when there are too many.

wenzelm [Tue, 10 Mar 2009 11:01:15 +0100] rev 30405

updated generated file -- changed due to different treatmeant of type constraints in OptionalSugar.thy;

wenzelm [Tue, 10 Mar 2009 10:59:59 +0100] rev 30404

more robust treatment of (authentic) consts within translations;

nipkow [Mon, 09 Mar 2009 23:29:13 +0100] rev 30403

Docs

nipkow [Mon, 09 Mar 2009 23:07:51 +0100] rev 30402

merged

nipkow [Mon, 09 Mar 2009 23:07:41 +0100] rev 30401

Docs

wenzelm [Mon, 09 Mar 2009 22:56:39 +0100] rev 30400

added session HOL-Docs;

wenzelm [Mon, 09 Mar 2009 22:43:25 +0100] rev 30399

tuned;

wenzelm [Mon, 09 Mar 2009 21:26:13 +0100] rev 30398

simplified presentation_context_of;

wenzelm [Mon, 09 Mar 2009 21:25:33 +0100] rev 30397

markup antiquotation options; more correct references to external manuals;

isabelle