isabelle: Changelog

haftmann [Tue, 30 Oct 2007 08:45:55 +0100] rev 25231

simplified proof

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

isabelle