isabelle: Changelog

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;

wenzelm [Thu, 16 Oct 2008 22:44:34 +0200] rev 28625

maintain sort occurrences of declared terms;

wenzelm [Thu, 16 Oct 2008 22:44:33 +0200] rev 28624

added weaken_sorts; strip_shyps: minimal list of minimized extra sorts; tuned;

isabelle