isabelle: Changelog

wenzelm [Mon, 29 Jan 2001 14:14:17 +0100] rev 10992

updated;

wenzelm [Mon, 29 Jan 2001 14:14:03 +0100] rev 10991

*** empty log message ***

berghofe [Mon, 29 Jan 2001 13:31:30 +0100] rev 10990

Completely split rule eval_evals_exec.induct before applying it.

berghofe [Mon, 29 Jan 2001 13:28:15 +0100] rev 10989

New function complete_split_rule for complete splitting of partially splitted rules (as generated by inductive definition package).

berghofe [Mon, 29 Jan 2001 13:26:04 +0100] rev 10988

Splitting of arguments of product types in induction rules is now less aggressive.

paulson [Mon, 29 Jan 2001 10:28:00 +0100] rev 10987

fixed the pr example

paulson [Mon, 29 Jan 2001 10:27:29 +0100] rev 10986

simplified gcd

nipkow [Sun, 28 Jan 2001 16:46:19 +0100] rev 10985

fixed set comprehension print translation

nipkow [Fri, 26 Jan 2001 15:50:52 +0100] rev 10984

Merged Example into While_Combi

nipkow [Fri, 26 Jan 2001 15:50:28 +0100] rev 10983

*** empty log message ***

isabelle