isabelle: Changelog

wenzelm [Mon, 25 Feb 2002 20:49:05 +0100] rev 12938

markup commands (from isar_thy.ML) with proper check of antiquotations;

wenzelm [Mon, 25 Feb 2002 20:48:14 +0100] rev 12937

clarified syntax of ``long'' statements: fixes/assumes/shows;

wenzelm [Mon, 25 Feb 2002 20:46:09 +0100] rev 12936

clarify module dependencies;

wenzelm [Mon, 25 Feb 2002 20:33:40 +0100] rev 12935

updated;

oheimb [Mon, 25 Feb 2002 18:02:22 +0100] rev 12934

Clarification wrt. use of polymorphic variants of Hoare logic rules

berghofe [Mon, 25 Feb 2002 11:27:07 +0100] rev 12933

Introduced variants of operators + * ~ constrained to type int (to make SML/NJ happy).

nipkow [Mon, 25 Feb 2002 10:45:22 +0100] rev 12932

updated debugging output

nipkow [Mon, 25 Feb 2002 10:42:34 +0100] rev 12931

solved the problem that Larry's simproce cancle_numerals(?) returns inconsistent inequality w/o rewriting it to False.

wenzelm [Sun, 24 Feb 2002 21:47:33 +0100] rev 12930

added using_thmss(_i);

wenzelm [Sun, 24 Feb 2002 21:47:01 +0100] rev 12929

added using_facts;

isabelle