isabelle: Changelog

wenzelm [Thu, 21 Feb 2002 20:11:32 +0100] rev 12924

* HOL: removed obsolete theorem "optionE";

wenzelm [Thu, 21 Feb 2002 20:11:05 +0100] rev 12923

fixed get_name_tags in order to work with hyps;

wenzelm [Thu, 21 Feb 2002 20:10:34 +0100] rev 12922

clarified internal theory dependencies;

wenzelm [Thu, 21 Feb 2002 20:10:05 +0100] rev 12921

bind_thms basic_monos;

wenzelm [Thu, 21 Feb 2002 20:09:48 +0100] rev 12920

include theory Record (tuned dependencies);

wenzelm [Thu, 21 Feb 2002 20:09:19 +0100] rev 12919

removed theory Option;

wenzelm [Thu, 21 Feb 2002 20:08:09 +0100] rev 12918

theory Option has been assimilated by Datatype;

wenzelm [Thu, 21 Feb 2002 20:06:39 +0100] rev 12917

* HOL: removed obsolete theorem "optionE";

wenzelm [Thu, 21 Feb 2002 18:19:34 +0100] rev 12916

updated title;

kleing [Thu, 21 Feb 2002 14:08:09 +0100] rev 12915

new MicroJava document

isabelle