isabelle: Changelog

kleing [Fri, 09 Feb 2001 16:01:58 +0100] rev 11085

tuned for 99-2 release

wenzelm [Fri, 09 Feb 2001 11:40:10 +0100] rev 11084

unsymbolized; tuned;

wenzelm [Wed, 07 Feb 2001 20:57:03 +0100] rev 11083

tuned;

wenzelm [Wed, 07 Feb 2001 20:56:40 +0100] rev 11082

improved;

oheimb [Wed, 07 Feb 2001 17:40:56 +0100] rev 11081

solved non-initialization problems; improvements using prefer

paulson [Wed, 07 Feb 2001 16:37:24 +0100] rev 11080

various revisions in response to comments from Tobias

wenzelm [Wed, 07 Feb 2001 12:15:59 +0100] rev 11079

val get_goal: state -> context * (thm list * thm);

wenzelm [Tue, 06 Feb 2001 18:41:27 +0100] rev 11078

4.0 version;

paulson [Tue, 06 Feb 2001 18:37:59 +0100] rev 11077

snapshot of a new version

paulson [Tue, 06 Feb 2001 15:02:56 +0100] rev 11076

new theorem Transset_iff_Union_subset

isabelle