isabelle: Changelog

wenzelm [Thu, 23 Oct 1997 12:43:07 +0200] rev 3976

tuned;

wenzelm [Thu, 23 Oct 1997 12:13:15 +0200] rev 3975

hide id, stamps; added stamp_names_of, name_of; replaced make_draft by prep_ext; improved print_sg; tuned;

wenzelm [Thu, 23 Oct 1997 12:10:55 +0200] rev 3974

Sign.stamp_names_of;

wenzelm [Thu, 23 Oct 1997 12:10:32 +0200] rev 3973

added sort_wrt;

wenzelm [Thu, 23 Oct 1997 12:09:48 +0200] rev 3972

fixed prune of hidden short names;

wenzelm [Thu, 23 Oct 1997 12:09:31 +0200] rev 3971

tuned;

wenzelm [Wed, 22 Oct 1997 11:36:43 +0200] rev 3970

tuned;

wenzelm [Wed, 22 Oct 1997 11:36:29 +0200] rev 3969

certify: check_stale;

wenzelm [Tue, 21 Oct 1997 18:15:43 +0200] rev 3968

improved handling of draft signatures / theories; draft thms (and ctyps, cterms) are automatically promoted to real ones;

wenzelm [Tue, 21 Oct 1997 18:09:13 +0200] rev 3967

sg_ref: automatic adjustment of thms of draft theories;

isabelle