isabelle: Changelog

oheimb [Fri, 20 Feb 1998 16:00:18 +0100] rev 4637

extended input syntax to handle names of special keys

oheimb [Fri, 20 Feb 1998 15:59:13 +0100] rev 4636

moved Ctrl entry before Alt entry extended input syntax to handle names of special keys

paulson [Fri, 20 Feb 1998 11:07:51 +0100] rev 4635

New theorem eq_imp_le

paulson [Thu, 19 Feb 1998 15:01:25 +0100] rev 4634

Four new Union/Intersection laws

oheimb [Wed, 18 Feb 1998 18:42:54 +0100] rev 4633

corrected problem with auto_tac: now uses a variant of depth_tac that avoids interference of the simplifier with dup_step_tac

wenzelm [Wed, 18 Feb 1998 17:32:18 +0100] rev 4632

added New Jersey mirror;

nipkow [Wed, 18 Feb 1998 11:31:25 +0100] rev 4631

Improved loop-test for rewrite rules a little. Should be done properly!

wenzelm [Wed, 18 Feb 1998 10:37:48 +0100] rev 4630

tuned comment;

wenzelm [Fri, 13 Feb 1998 20:16:02 +0100] rev 4629

added append (curried);

wenzelm [Thu, 12 Feb 1998 17:53:05 +0100] rev 4628

*** empty log message ***

isabelle