isabelle: Changelog

haftmann [Tue, 30 Oct 2007 08:45:54 +0100] rev 25230

continued localization

haftmann [Mon, 29 Oct 2007 17:08:01 +0100] rev 25229

fixed typo

haftmann [Mon, 29 Oct 2007 16:46:22 +0100] rev 25228

added nbe

wenzelm [Mon, 29 Oct 2007 16:13:47 +0100] rev 25227

test_proof: do not change Proofterm.proofs here (not thread-safe);

wenzelm [Mon, 29 Oct 2007 16:13:46 +0100] rev 25226

improved notion of 'nicer' fact names (observe some name space properties);

wenzelm [Mon, 29 Oct 2007 16:13:44 +0100] rev 25225

export is_hidden;

wenzelm [Mon, 29 Oct 2007 16:13:43 +0100] rev 25224

added bool_ord;

wenzelm [Mon, 29 Oct 2007 16:13:41 +0100] rev 25223

qualified Proofterm.proofs;

krauss [Mon, 29 Oct 2007 10:37:09 +0100] rev 25222

fun/function: generate case names for induction rules

wenzelm [Sun, 28 Oct 2007 13:18:00 +0100] rev 25221

append/member: more light-weight way to declare authentic syntax; tuned proofs;

isabelle