isabelle: Changelog

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;

wenzelm [Wed, 04 Jan 2006 01:00:52 +0100] rev 18567

* Pure/Isar: Toplevel.theory_theory_to_proof;

wenzelm [Wed, 04 Jan 2006 00:52:49 +0100] rev 18566

added unlocalize_mfix;

isabelle