isabelle: Changelog

wenzelm [Tue, 02 May 2006 00:20:37 +0200] rev 19528

of_sort: option; of_sort: simplified implementation, use Sorts.of_sort_derivation; tuned;

paulson [Mon, 01 May 2006 18:10:40 +0200] rev 19527

some facts about min, max and add, diff

paulson [Mon, 01 May 2006 18:10:18 +0200] rev 19526

a few more examples

wenzelm [Mon, 01 May 2006 17:05:13 +0200] rev 19525

class_triv: Sign.certify_class;

wenzelm [Mon, 01 May 2006 17:05:12 +0200] rev 19524

arities: maintain original codomain;

wenzelm [Mon, 01 May 2006 17:05:11 +0200] rev 19523

added sort_triv;

wenzelm [Mon, 01 May 2006 17:05:10 +0200] rev 19522

of_sort: simplified derivation;

wenzelm [Mon, 01 May 2006 17:05:09 +0200] rev 19521

adapted arities;

isabelle