isabelle: Changelog

wenzelm [Tue, 16 Jan 2001 00:35:50 +0100] rev 10914

use_text etc.: proper output of error messages;

wenzelm [Tue, 16 Jan 2001 00:35:18 +0100] rev 10913

export fold_ast etc.;

wenzelm [Tue, 16 Jan 2001 00:34:31 +0100] rev 10912

removed Session.finish ();

wenzelm [Tue, 16 Jan 2001 00:33:40 +0100] rev 10911

proper induction rule for arbitrarily branching datatype;

wenzelm [Tue, 16 Jan 2001 00:32:38 +0100] rev 10910

export inductive_forall_name, inductive_forall_def, rulify;

wenzelm [Tue, 16 Jan 2001 00:30:06 +0100] rev 10909

improved string syntax (allow translation rules);

wenzelm [Tue, 16 Jan 2001 00:29:43 +0100] rev 10908

renamed Abs_Node_inject to Abs_Node_inj;

wenzelm [Tue, 16 Jan 2001 00:29:12 +0100] rev 10907

added atomize_strip_tac;

wenzelm [Tue, 16 Jan 2001 00:28:50 +0100] rev 10906

tuned atomize;

wenzelm [Tue, 16 Jan 2001 00:27:37 +0100] rev 10905

-f option;

isabelle