isabelle: Changelog

wenzelm [Tue, 17 Nov 1998 14:11:38 +0100] rev 5912

exception ATTRIB_FAIL; local_attribute'; removed 'lemma', 'assumption'; added 'where', 'with';

wenzelm [Tue, 17 Nov 1998 14:10:40 +0100] rev 5911

removed trace;

wenzelm [Tue, 17 Nov 1998 14:09:29 +0100] rev 5910

Symbol.space;

wenzelm [Tue, 17 Nov 1998 14:09:00 +0100] rev 5909

space;

wenzelm [Tue, 17 Nov 1998 14:08:46 +0100] rev 5908

val spc: int -> T;

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;

isabelle