isabelle: Changelog

kleing [Thu, 07 Dec 2000 17:22:24 +0100] rev 10628

fixed and cleaned up wt[l]_jvm_prog proofs

wenzelm [Thu, 07 Dec 2000 17:09:15 +0100] rev 10627

tuned;

kleing [Thu, 07 Dec 2000 16:23:10 +0100] rev 10626

update for changes in Correct.thy and class/is_class defs

kleing [Thu, 07 Dec 2000 16:22:39 +0100] rev 10625

strengthened invariant: current class must be defined

kleing [Thu, 07 Dec 2000 16:21:47 +0100] rev 10624

update for changes in Step.thy

kleing [Thu, 07 Dec 2000 16:21:27 +0100] rev 10623

invoked class must be defined in Invoke C ...

wenzelm [Wed, 06 Dec 2000 22:10:11 +0100] rev 10622

unsymbolize;

wenzelm [Wed, 06 Dec 2000 22:08:49 +0100] rev 10621

left_minus axiom;

wenzelm [Wed, 06 Dec 2000 21:53:05 +0100] rev 10620

tuned;

wenzelm [Wed, 06 Dec 2000 21:52:49 +0100] rev 10619

activate Rational_Numbers;

isabelle