isabelle: Changelog

wenzelm [Fri, 21 Feb 1997 16:28:00 +0100] rev 2674

tuned some chars;

paulson [Fri, 21 Feb 1997 15:38:44 +0100] rev 2673

More robust proof (?)

paulson [Fri, 21 Feb 1997 15:31:47 +0100] rev 2672

Replaced "flat" by the Basis Library function List.concat

paulson [Fri, 21 Feb 1997 15:30:41 +0100] rev 2671

Introduction of rotate_rule

wenzelm [Fri, 21 Feb 1997 15:15:26 +0100] rev 2670

removed empty line (which broke xfedor);

wenzelm [Fri, 21 Feb 1997 15:14:16 +0100] rev 2669

don't hack, use xfed or xfedor;

wenzelm [Fri, 21 Feb 1997 11:18:33 +0100] rev 2668

fixed Id comment;

wenzelm [Thu, 20 Feb 1997 17:02:42 +0100] rev 2667

makedist -- make Isabelle distribution.

wenzelm [Thu, 20 Feb 1997 16:45:47 +0100] rev 2666

tuned URL;

wenzelm [Thu, 20 Feb 1997 16:09:41 +0100] rev 2665

added index info;

isabelle