isabelle: Changelog

paulson [Mon, 23 Feb 1998 11:16:18 +0100] rev 4645

New laws for union

paulson [Mon, 23 Feb 1998 11:15:40 +0100] rev 4644

New laws for id

nipkow [Sun, 22 Feb 1998 14:12:23 +0100] rev 4643

New induction schemas for lists (length and snoc).

nipkow [Fri, 20 Feb 1998 17:57:16 +0100] rev 4642

*** empty log message ***

nipkow [Fri, 20 Feb 1998 17:56:51 +0100] rev 4641

Congruence rules use == in premises now.

nipkow [Fri, 20 Feb 1998 17:56:39 +0100] rev 4640

Congruence rules use == in premises now. New class linord.

oheimb [Fri, 20 Feb 1998 17:33:14 +0100] rev 4639

minor improvements

oheimb [Fri, 20 Feb 1998 16:02:21 +0100] rev 4638

re-arranged bindings for many function keys

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

isabelle