isabelle: Changelog

wenzelm [Tue, 24 Jan 2006 00:43:27 +0100] rev 18765

LocalTheory.pretty_consts;

wenzelm [Tue, 24 Jan 2006 00:43:25 +0100] rev 18764

tuned;

wenzelm [Tue, 24 Jan 2006 00:43:24 +0100] rev 18763

add_finals: prep_consts, i.e. varify type;

wenzelm [Tue, 24 Jan 2006 00:43:23 +0100] rev 18762

added dest_all;

webertj [Mon, 23 Jan 2006 18:20:48 +0100] rev 18761

TimeLimit replaced by interrupt_timeout

webertj [Mon, 23 Jan 2006 17:29:52 +0100] rev 18760

TimeLimit replaced by interrupt_timeout

krauss [Mon, 23 Jan 2006 15:23:31 +0100] rev 18759

Updated to Isabelle 2006-01-23

urbanc [Mon, 23 Jan 2006 15:14:06 +0100] rev 18758

made change for ex1

haftmann [Mon, 23 Jan 2006 14:07:52 +0100] rev 18757

removed problematic keyword 'atom'

haftmann [Mon, 23 Jan 2006 14:06:40 +0100] rev 18756

more general serializer

isabelle