isabelle: Changelog

paulson [Mon, 23 Jul 2001 17:45:07 +0200] rev 11444

live links

paulson [Mon, 23 Jul 2001 17:37:29 +0200] rev 11443

The final version of Florian Kammueller's proofs

oheimb [Mon, 23 Jul 2001 13:50:23 +0200] rev 11442

slight improvement for iff attribute

wenzelm [Sun, 22 Jul 2001 21:31:37 +0200] rev 11441

replaced SOME by THE;

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

isabelle