isabelle: Changelog

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

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

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

HOL: added "The";

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

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

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

replaced "Eps" by "The";

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

HOL_ss: the_eq_trivial, the_sym_eq_trivial;

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

tuned;

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

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

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;

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

SEDINDEX = ./isa-index;

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

tidying the index

isabelle