isabelle: Changelog

urbanc [Wed, 04 Jan 2006 19:53:39 +0100] rev 18577

added more documentation; will now try out a modification of the ok-predicate

nipkow [Wed, 04 Jan 2006 19:22:53 +0100] rev 18576

Reversed Larry's option/iff change.

haftmann [Wed, 04 Jan 2006 17:04:11 +0100] rev 18575

substantial additions using locales

haftmann [Wed, 04 Jan 2006 17:03:43 +0100] rev 18574

exported read|cert_arity interfaces

nipkow [Wed, 04 Jan 2006 16:38:40 +0100] rev 18573

trace_simp_depth_limit is 1 by default

nipkow [Wed, 04 Jan 2006 16:37:57 +0100] rev 18572

removed pointless trace msg.

paulson [Wed, 04 Jan 2006 16:14:15 +0100] rev 18571

preservation of names

paulson [Wed, 04 Jan 2006 16:13:53 +0100] rev 18570

a few more named lemmas

haftmann [Wed, 04 Jan 2006 10:28:31 +0100] rev 18569

fix: reintroduced pred_ctxt in gen_add_locale

wenzelm [Wed, 04 Jan 2006 01:04:59 +0100] rev 18568

tuned;

isabelle