isabelle: Changelog

wenzelm [Sun, 22 Jul 2001 21:31:00 +0200] rev 11440

the_equality [intro];

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

tuned;

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 ***

isabelle