isabelle: Changelog

wenzelm [Thu, 18 Jan 2001 20:37:38 +0100] rev 10932

added exists_stamp; added PureN, CPureN;

wenzelm [Thu, 18 Jan 2001 20:36:57 +0100] rev 10931

use Sign.PureN, Sign.CPureN;

wenzelm [Thu, 18 Jan 2001 20:36:31 +0100] rev 10930

Sign.exists_stamp;

wenzelm [Thu, 18 Jan 2001 20:36:08 +0100] rev 10929

tuned \<And> and \<Or>;

wenzelm [Thu, 18 Jan 2001 20:35:39 +0100] rev 10928

generate index.html for pdf docs;

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;

isabelle