isabelle: Changelog

blanchet [Tue, 13 Dec 2011 14:55:42 +0100] rev 45831

avoid multiple type decls in TFF (improves on cef82dc1462d)

blanchet [Tue, 13 Dec 2011 14:55:42 +0100] rev 45830

added missing quantifier

blanchet [Tue, 13 Dec 2011 14:55:42 +0100] rev 45829

remove needless declaration in TFF1 problems

blanchet [Tue, 13 Dec 2011 14:55:42 +0100] rev 45828

correctly declare implicit TFF1 types that appear first as type arguments with "$tType" and not "$i

wenzelm [Tue, 13 Dec 2011 15:18:52 +0100] rev 45827

modernized specifications;

kuncar [Tue, 13 Dec 2011 14:04:20 +0100] rev 45826

support phantom types as quotient types

wenzelm [Mon, 12 Dec 2011 23:06:41 +0100] rev 45825

merged

nipkow [Mon, 12 Dec 2011 20:28:34 +0100] rev 45824

merged

nipkow [Mon, 12 Dec 2011 20:28:19 +0100] rev 45823

tuned

wenzelm [Mon, 12 Dec 2011 23:05:21 +0100] rev 45822

datatype dtyp with explicit sort information; tuned messages;

isabelle