isabelle: Changelog

paulson [Mon, 13 Jul 1998 16:42:27 +0200] rev 5136

massive tidying of proofs

paulson [Mon, 13 Jul 1998 16:41:30 +0200] rev 5135

renamed mutex to Acts

nipkow [Mon, 13 Jul 1998 16:04:39 +0200] rev 5134

Replace awkward primrec by recdef.

nipkow [Mon, 13 Jul 1998 16:04:22 +0200] rev 5133

swapped condition in update_apply.

wenzelm [Sun, 12 Jul 1998 11:49:17 +0200] rev 5132

isatool expandshort;

wenzelm [Fri, 10 Jul 1998 15:24:22 +0200] rev 5131

the distribution now includes Isabelle icons: see lib/logo/isabelle-{small,tiny}.xpm;

wenzelm [Fri, 10 Jul 1998 15:19:10 +0200] rev 5130

added xpm icons;

nipkow [Mon, 06 Jul 1998 14:03:25 +0200] rev 5129

Converted to Auto_tac

wenzelm [Fri, 03 Jul 1998 18:56:40 +0200] rev 5128

several new basic modules made available for general use;

wenzelm [Fri, 03 Jul 1998 18:53:02 +0200] rev 5127

cleaned up;

isabelle