isabelle: Changelog

oheimb [Thu, 18 Jan 2001 20:23:51 +0100] rev 10927

splitted Loop rule

paulson [Thu, 18 Jan 2001 18:39:43 +0100] rev 10926

removed redundant proof

oheimb [Thu, 18 Jan 2001 17:38:56 +0100] rev 10925

is_class and class now as defs (rather than translations); corrected Digest.thy

wenzelm [Tue, 16 Jan 2001 21:54:43 +0100] rev 10924

use_output: proper handling of non-ASCII symbols;

wenzelm [Tue, 16 Jan 2001 21:53:57 +0100] rev 10923

export plain_output;

kleing [Tue, 16 Jan 2001 19:22:13 +0100] rev 10922

Store.thy is obsolete (newref isn't used any more)

kleing [Tue, 16 Jan 2001 19:21:21 +0100] rev 10921

removed obsolete MicroJava/JVM/Store.thy

kleing [Tue, 16 Jan 2001 15:56:34 +0100] rev 10920

newref -> new_Addr

paulson [Tue, 16 Jan 2001 12:20:52 +0100] rev 10919

renamings: real_of_nat, real_of_int -> (overloaded) real inf_close -> approx SReal -> Reals SNat -> Nats

wenzelm [Tue, 16 Jan 2001 00:40:57 +0100] rev 10918

renamed Product_Type.split to split_conv;

isabelle