isabelle: Changelog

schirmer [Mon, 12 Nov 2007 11:07:22 +0100] rev 25408

added signatures; tuned

wenzelm [Sun, 11 Nov 2007 20:29:07 +0100] rev 25407

abbrev: bypass full term check via ProofContext.standard_infer_types (prevents forced expansion);

wenzelm [Sun, 11 Nov 2007 20:29:06 +0100] rev 25406

simplified Consts.dest; export standard_infer_types;

wenzelm [Sun, 11 Nov 2007 20:29:05 +0100] rev 25405

simplified Consts.dest;

wenzelm [Sun, 11 Nov 2007 20:29:04 +0100] rev 25404

simplified Consts.dest; dest;

nipkow [Sun, 11 Nov 2007 19:41:26 +0100] rev 25403

updates

wenzelm [Sun, 11 Nov 2007 17:18:38 +0100] rev 25402

avoid ML print in production code;

wenzelm [Sun, 11 Nov 2007 16:58:41 +0100] rev 25401

updated;

wenzelm [Sun, 11 Nov 2007 16:50:30 +0100] rev 25400

auto quickcheck: reduced messages;

wenzelm [Sun, 11 Nov 2007 16:50:29 +0100] rev 25399

notation works with any known constant (including fixes/abbrevs);

isabelle