isabelle: Changelog

haftmann [Fri, 17 Oct 2008 10:14:38 +0200] rev 28635

filled remaining gaps

haftmann [Fri, 17 Oct 2008 10:14:12 +0200] rev 28634

added type antiquotation

wenzelm [Thu, 16 Oct 2008 23:58:29 +0200] rev 28633

tuned;

wenzelm [Thu, 16 Oct 2008 23:56:57 +0200] rev 28632

added dep for Concurrent/ROOT.ML;

wenzelm [Thu, 16 Oct 2008 23:47:01 +0200] rev 28631

tuned;

wenzelm [Thu, 16 Oct 2008 23:21:23 +0200] rev 28630

removed Locales;

wenzelm [Thu, 16 Oct 2008 22:45:08 +0200] rev 28629

goal-directed proof now enforces strict proof irrelevance wrt. sort hypotheses;

wenzelm [Thu, 16 Oct 2008 22:44:37 +0200] rev 28628

added translations for SORT_CONSTRAINT tuned;

wenzelm [Thu, 16 Oct 2008 22:44:36 +0200] rev 28627

conclude_goal: precise goal context, include all sorts from context into statement, check shyps of result;

wenzelm [Thu, 16 Oct 2008 22:44:35 +0200] rev 28626

added make;

isabelle