Sun, 30 Jul 2000 12:52:13 +0200 def: no constraint on var;
wenzelm [Sun, 30 Jul 2000 12:52:13 +0200] rev 9465
def: no constraint on var;
Sun, 30 Jul 2000 12:51:33 +0200 added is_judgment;
wenzelm [Sun, 30 Jul 2000 12:51:33 +0200] rev 9464
added is_judgment; removed atomic_thesis;
Sun, 30 Jul 2000 12:50:51 +0200 ObtainFun (generalized existence reasoning);
wenzelm [Sun, 30 Jul 2000 12:50:51 +0200] rev 9463
ObtainFun (generalized existence reasoning);
Sun, 30 Jul 2000 12:50:33 +0200 ThmDeps.enable;
wenzelm [Sun, 30 Jul 2000 12:50:33 +0200] rev 9462
ThmDeps.enable;
Sun, 30 Jul 2000 12:50:07 +0200 added sign_of_cterm;
wenzelm [Sun, 30 Jul 2000 12:50:07 +0200] rev 9461
added sign_of_cterm;
Sun, 30 Jul 2000 12:48:55 +0200 Logic.goal_const;
wenzelm [Sun, 30 Jul 2000 12:48:55 +0200] rev 9460
Logic.goal_const;
Fri, 28 Jul 2000 16:08:41 +0200 replaced "Sessions" by "Root";
wenzelm [Fri, 28 Jul 2000 16:08:41 +0200] rev 9459
replaced "Sessions" by "Root";
Fri, 28 Jul 2000 16:02:51 +0200 apply. -> by
nipkow [Fri, 28 Jul 2000 16:02:51 +0200] rev 9458
apply. -> by
Fri, 28 Jul 2000 13:04:59 +0200 * HOL/While
nipkow [Fri, 28 Jul 2000 13:04:59 +0200] rev 9457
* HOL/While
Thu, 27 Jul 2000 18:27:25 +0200 added theory While;
wenzelm [Thu, 27 Jul 2000 18:27:25 +0200] rev 9456
added theory While;
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip