isabelle: Changelog

oheimb [Mon, 21 Sep 1998 23:03:11 +0200] rev 5518

re-added mem and list_all

oheimb [Mon, 21 Sep 1998 22:58:43 +0200] rev 5517

added dependance on HOL

oheimb [Mon, 21 Sep 1998 15:58:27 +0200] rev 5516

added indentation

oheimb [Mon, 21 Sep 1998 12:01:14 +0200] rev 5515

simplified proof

paulson [Mon, 21 Sep 1998 10:46:58 +0200] rev 5514

inserted space in #-1 to prevent confusion with an integer constant

paulson [Mon, 21 Sep 1998 10:43:54 +0200] rev 5513

Unary minus is now #- and not #~

paulson [Mon, 21 Sep 1998 10:43:09 +0200] rev 5512

much renaming and tidying

paulson [Fri, 18 Sep 1998 16:07:55 +0200] rev 5511

leaves subgoal package empty

paulson [Fri, 18 Sep 1998 16:05:08 +0200] rev 5510

improved (but still flawed) treatment of binary arithmetic

paulson [Fri, 18 Sep 1998 16:04:44 +0200] rev 5509

Now defines "int" as a linear order; basic derivations moved to IntDef

isabelle