isabelle: Changelog

haftmann [Thu, 27 Mar 2008 19:04:39 +0100] rev 26445

explicit case names for rule list_induct2

haftmann [Thu, 27 Mar 2008 19:04:38 +0100] rev 26444

instance for functions, explicit characters

haftmann [Thu, 27 Mar 2008 19:04:37 +0100] rev 26443

lemmas about map_of (zip _ _)

haftmann [Thu, 27 Mar 2008 19:04:36 +0100] rev 26442

restructuring; explicit case names for rule list_induct2

haftmann [Thu, 27 Mar 2008 19:04:35 +0100] rev 26441

no "attach UNIV" any more

wenzelm [Thu, 27 Mar 2008 17:35:57 +0100] rev 26440

tuned comments; tuned;

wenzelm [Thu, 27 Mar 2008 17:35:56 +0100] rev 26439

tuned comments;

wenzelm [Thu, 27 Mar 2008 17:21:41 +0100] rev 26438

fixed theory imports;

wenzelm [Thu, 27 Mar 2008 16:24:10 +0100] rev 26437

tuned appendix;

wenzelm [Thu, 27 Mar 2008 15:32:19 +0100] rev 26436

removed obsolete appl_syntax, applC_syntax;

isabelle