isabelle: Changelog

wenzelm [Mon, 29 Jan 2001 23:54:56 +0100] rev 10997

avoid dead code;

nipkow [Mon, 29 Jan 2001 23:02:21 +0100] rev 10996

Moved some thms from Transitive_ClosureTr.ML to Transitive_Closure.thy

nipkow [Mon, 29 Jan 2001 22:25:45 +0100] rev 10995

*** empty log message ***

Mon, 29 Jan 2001 19:24:17 +0100 *** empty log message ***

nipkow [Mon, 29 Jan 2001 19:24:17 +0100] rev 10994

*** empty log message ***

Mon, 29 Jan 2001 18:56:37 +0100 added Unix example;

wenzelm [Mon, 29 Jan 2001 18:56:37 +0100] rev 10993

added Unix example;

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.

isabelle