isabelle: Changelog

wenzelm [Sun, 30 Jul 2000 12:51:33 +0200] rev 9464

added is_judgment; removed atomic_thesis;

wenzelm [Sun, 30 Jul 2000 12:50:51 +0200] rev 9463

ObtainFun (generalized existence reasoning);

wenzelm [Sun, 30 Jul 2000 12:50:33 +0200] rev 9462

ThmDeps.enable;

wenzelm [Sun, 30 Jul 2000 12:50:07 +0200] rev 9461

added sign_of_cterm;

wenzelm [Sun, 30 Jul 2000 12:48:55 +0200] rev 9460

Logic.goal_const;

wenzelm [Fri, 28 Jul 2000 16:08:41 +0200] rev 9459

replaced "Sessions" by "Root";

nipkow [Fri, 28 Jul 2000 16:02:51 +0200] rev 9458

apply. -> by

nipkow [Fri, 28 Jul 2000 13:04:59 +0200] rev 9457

* HOL/While

wenzelm [Thu, 27 Jul 2000 18:27:25 +0200] rev 9456

added theory While;

wenzelm [Thu, 27 Jul 2000 18:27:09 +0200] rev 9455

export has_internal; tag some rules as internal;

isabelle