isabelle: Changelog

wenzelm [Wed, 01 Mar 2000 16:38:59 +0100] rev 8321

tuned;

paulson [Wed, 01 Mar 2000 15:00:21 +0100] rev 8320

expandshort

paulson [Wed, 01 Mar 2000 12:26:28 +0100] rev 8319

added a reference

paulson [Wed, 01 Mar 2000 12:18:40 +0100] rev 8318

new theorems from Sidi Ould Ehmety

wenzelm [Tue, 29 Feb 2000 23:08:27 +0100] rev 8317

tuned;

wenzelm [Tue, 29 Feb 2000 23:06:20 +0100] rev 8316

add_cases_induct: project_rules accomodates mutual induction;

wenzelm [Tue, 29 Feb 2000 20:51:43 +0100] rev 8315

tuned msgs;

paulson [Tue, 29 Feb 2000 10:57:30 +0100] rev 8314

even Alloc works again, using "rename"

paulson [Tue, 29 Feb 2000 10:41:08 +0100] rev 8313

replaced UN_constant, INT_constant by unconditional versions that rewrite to if-then-else expressions

wenzelm [Mon, 28 Feb 2000 13:39:45 +0100] rev 8312

add_cases_induct: accomodate no_elim and no_ind flags;

isabelle