isabelle: Changelog

wenzelm [Tue, 17 Nov 1998 14:08:12 +0100] rev 5907

added default_name; added have_tthmss;

wenzelm [Tue, 17 Nov 1998 14:07:25 +0100] rev 5906

Drule.rev_triv_goal;

wenzelm [Tue, 17 Nov 1998 14:07:04 +0100] rev 5905

Theory.apply replaced by Library.apply;

wenzelm [Tue, 17 Nov 1998 14:06:32 +0100] rev 5904

val apply: ('a -> 'a) list -> 'a -> 'a; val transform_failure: (exn -> exn) -> ('a -> 'b) -> 'a -> 'b;

wenzelm [Tue, 17 Nov 1998 14:05:47 +0100] rev 5903

export vars_of and friends; open BasicDrule only;

wenzelm [Tue, 17 Nov 1998 14:04:52 +0100] rev 5902

Pretty.spc;

wenzelm [Tue, 17 Nov 1998 14:04:32 +0100] rev 5901

added pretty_tthms, print_tthms; tuned apply(s);

isabelle