isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

Sun, 22 Jul 2001 21:30:05 +0200 declare trans [trans] (*overridden in theory Calculation*);

changeset

wenzelm [Sun, 22 Jul 2001 21:30:05 +0200] rev 11438

declare trans [trans] (*overridden in theory Calculation*);

Fri, 20 Jul 2001 22:02:45 +0200 HOL: added "The";

changeset

wenzelm [Fri, 20 Jul 2001 22:02:45 +0200] rev 11437

HOL: added "The";

Fri, 20 Jul 2001 22:00:06 +0200 private "myinv" (uses "The" instead of "Eps");

changeset

wenzelm [Fri, 20 Jul 2001 22:00:06 +0200] rev 11436

private "myinv" (uses "The" instead of "Eps");

Fri, 20 Jul 2001 21:59:11 +0200 replaced "Eps" by "The";

changeset

wenzelm [Fri, 20 Jul 2001 21:59:11 +0200] rev 11435

replaced "Eps" by "The";

Fri, 20 Jul 2001 21:58:19 +0200 HOL_ss: the_eq_trivial, the_sym_eq_trivial;

changeset

wenzelm [Fri, 20 Jul 2001 21:58:19 +0200] rev 11434

HOL_ss: the_eq_trivial, the_sym_eq_trivial;

Fri, 20 Jul 2001 21:53:27 +0200 tuned;

changeset

wenzelm [Fri, 20 Jul 2001 21:53:27 +0200] rev 11433

tuned;

Fri, 20 Jul 2001 21:52:54 +0200 added "The" (definite description operator) (by Larry);

changeset

wenzelm [Fri, 20 Jul 2001 21:52:54 +0200] rev 11432

added "The" (definite description operator) (by Larry);

Fri, 20 Jul 2001 17:49:21 +0200 *** empty log message ***

changeset

wenzelm [Fri, 20 Jul 2001 17:49:21 +0200] rev 11431

*** empty log message ***

Fri, 20 Jul 2001 17:49:10 +0200 SEDINDEX = ./isa-index;

changeset

wenzelm [Fri, 20 Jul 2001 17:49:10 +0200] rev 11430

SEDINDEX = ./isa-index;

Tue, 17 Jul 2001 15:07:36 +0200 tidying the index

changeset

paulson [Tue, 17 Jul 2001 15:07:36 +0200] rev 11429

tidying the index

Tue, 17 Jul 2001 13:46:21 +0200 tidying the index

changeset

paulson [Tue, 17 Jul 2001 13:46:21 +0200] rev 11428

tidying the index

Mon, 16 Jul 2001 13:14:19 +0200 indexing

changeset

paulson [Mon, 16 Jul 2001 13:14:19 +0200] rev 11427

indexing

Sun, 15 Jul 2001 14:48:36 +0200 abtract non-emptiness statements (no longer use Eps);

changeset

wenzelm [Sun, 15 Jul 2001 14:48:36 +0200] rev 11426

abtract non-emptiness statements (no longer use Eps); cleaned up;

Sun, 15 Jul 2001 14:47:28 +0200 tuned;

changeset

wenzelm [Sun, 15 Jul 2001 14:47:28 +0200] rev 11425

tuned;

Fri, 13 Jul 2001 18:28:46 +0200 working

changeset

paulson [Fri, 13 Jul 2001 18:28:46 +0200] rev 11424

working

Fri, 13 Jul 2001 18:22:13 +0200 oops

changeset

paulson [Fri, 13 Jul 2001 18:22:13 +0200] rev 11423

oops

Fri, 13 Jul 2001 18:20:26 +0200 fixed bad error in tdxbold; also removed default indexing in \\rulename

changeset

paulson [Fri, 13 Jul 2001 18:20:26 +0200] rev 11422

fixed bad error in tdxbold; also removed default indexing in \\rulename

Fri, 13 Jul 2001 18:19:29 +0200 tweaks

changeset

paulson [Fri, 13 Jul 2001 18:19:29 +0200] rev 11421

tweaks

Fri, 13 Jul 2001 18:08:26 +0200 added\\protect

changeset

paulson [Fri, 13 Jul 2001 18:08:26 +0200] rev 11420

added\\protect

Fri, 13 Jul 2001 18:07:01 +0200 more indexing

changeset

paulson [Fri, 13 Jul 2001 18:07:01 +0200] rev 11419

more indexing

Fri, 13 Jul 2001 17:58:39 +0200 indexing tweaks

changeset

paulson [Fri, 13 Jul 2001 17:58:39 +0200] rev 11418

indexing tweaks

Fri, 13 Jul 2001 17:56:05 +0200 less indexing of theorem names

changeset

paulson [Fri, 13 Jul 2001 17:56:05 +0200] rev 11417

less indexing of theorem names

Fri, 13 Jul 2001 17:55:35 +0200 indexing

changeset

paulson [Fri, 13 Jul 2001 17:55:35 +0200] rev 11416

indexing

Fri, 13 Jul 2001 13:58:41 +0200 contrapos_pn

changeset

paulson [Fri, 13 Jul 2001 13:58:41 +0200] rev 11415

contrapos_pn

Fri, 13 Jul 2001 11:31:05 +0200 index file

changeset

paulson [Fri, 13 Jul 2001 11:31:05 +0200] rev 11414

index file

Thu, 12 Jul 2001 17:36:14 +0200 removed a4paper

changeset

paulson [Thu, 12 Jul 2001 17:36:14 +0200] rev 11413

removed a4paper

Thu, 12 Jul 2001 16:36:26 +0200 more in the Springer style

changeset

paulson [Thu, 12 Jul 2001 16:36:26 +0200] rev 11412