isabelle: Changelog

wenzelm [Fri, 24 Jan 1997 18:24:04 +0100] rev 2554

*** empty log message ***

wenzelm [Fri, 24 Jan 1997 17:37:59 +0100] rev 2553

Isabelle NEWS -- history of user-visible changes;

wenzelm [Fri, 24 Jan 1997 17:12:28 +0100] rev 2552

changed case symbol to \<Rightarrow>;

wenzelm [Thu, 23 Jan 1997 18:16:12 +0100] rev 2551

'rm -f' instead of 'mv -f';

paulson [Thu, 23 Jan 1997 18:14:20 +0100] rev 2550

Re-ordering of certificates so that session keys appear in decreasing order

paulson [Thu, 23 Jan 1997 18:13:07 +0100] rev 2549

Cosmetic improvements

wenzelm [Thu, 23 Jan 1997 18:10:29 +0100] rev 2548

'rm -f' instead of 'cp -f';

wenzelm [Thu, 23 Jan 1997 14:37:45 +0100] rev 2547

tuned;

wenzelm [Thu, 23 Jan 1997 14:35:15 +0100] rev 2546

expand shorthand goal commands;

wenzelm [Thu, 23 Jan 1997 14:19:16 +0100] rev 2545

added AxClasses test;

isabelle