isabelle: Changelog

wenzelm [Wed, 14 Jan 1998 10:30:44 +0100] rev 4571

added unit and prod stuff;

wenzelm [Wed, 14 Jan 1998 10:30:01 +0100] rev 4570

fixed Id;

wenzelm [Wed, 14 Jan 1998 10:28:21 +0100] rev 4569

smlnj-110 factory default;

wenzelm [Wed, 14 Jan 1998 10:24:57 +0100] rev 4568

added of_sort;

wenzelm [Tue, 13 Jan 1998 18:03:37 +0100] rev 4567

added base_path;

mueller [Tue, 13 Jan 1998 14:31:09 +0100] rev 4566

added simulations files to IOA;

mueller [Tue, 13 Jan 1998 14:26:21 +0100] rev 4565

added forward simulation correectness;

narasche [Tue, 13 Jan 1998 10:40:38 +0100] rev 4564

Simplification: sel make and update make

mueller [Mon, 12 Jan 1998 17:51:32 +0100] rev 4563

added abstraction files;

mueller [Mon, 12 Jan 1998 17:51:05 +0100] rev 4562

added further IOA liles;

isabelle