isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

Sun, 30 Jul 2000 12:48:55 +0200 Logic.goal_const;

changeset

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";

changeset

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

changeset

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

apply. -> by

Fri, 28 Jul 2000 13:04:59 +0200 * HOL/While

changeset

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

* HOL/While

Thu, 27 Jul 2000 18:27:25 +0200 added theory While;

changeset

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;

changeset

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;

changeset

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;

changeset

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;

changeset

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;

changeset

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

begin_theory: store *copy* of initial theory;

Thu, 27 Jul 2000 18:23:12 +0200 tuned;

changeset

wenzelm [Thu, 27 Jul 2000 18:23:12 +0200] rev 9450

tuned;

Thu, 27 Jul 2000 11:44:29 +0200 intro_elim_tac: bimatch_from;

changeset

wenzelm [Thu, 27 Jul 2000 11:44:29 +0200] rev 9449

intro_elim_tac: bimatch_from;

Wed, 26 Jul 2000 19:43:28 +0200 While functional for defining tail-recursive functions

changeset

nipkow [Wed, 26 Jul 2000 19:43:28 +0200] rev 9448

While functional for defining tail-recursive functions

Wed, 26 Jul 2000 19:42:19 +0200 *** empty log message ***

changeset

nipkow [Wed, 26 Jul 2000 19:42:19 +0200] rev 9447

*** empty log message ***

(0) -3000 -1000 -300 -100 -14 +14 +100 +300 +1000 +3000 +10000 +30000 tip

isabelle

RSS Atom