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;
Thu, 27 Jul 2000 18:27:09 +0200 export has_internal;
wenzelm [Thu, 27 Jul 2000 18:27:09 +0200] rev 9455
export has_internal; tag some rules as internal;
Thu, 27 Jul 2000 18:25:55 +0200 added thm_deps;
wenzelm [Thu, 27 Jul 2000 18:25:55 +0200] rev 9454
added thm_deps;
Thu, 27 Jul 2000 18:25:44 +0200 added enter_forward_proof;
wenzelm [Thu, 27 Jul 2000 18:25:44 +0200] rev 9453
added enter_forward_proof;
Thu, 27 Jul 2000 18:25:28 +0200 export write_graph;
wenzelm [Thu, 27 Jul 2000 18:25:28 +0200] rev 9452
export write_graph;
Thu, 27 Jul 2000 18:25:01 +0200 begin_theory: store *copy* of initial theory;
wenzelm [Thu, 27 Jul 2000 18:25:01 +0200] rev 9451
begin_theory: store *copy* of initial theory;
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip