isabelle: Changelog

traytel [Tue, 07 May 2013 14:47:22 +0200] rev 51894

tuned

traytel [Tue, 07 May 2013 14:22:54 +0200] rev 51893

got rid of the set based relator---use (binary) predicate based relator instead

blanchet [Tue, 07 May 2013 11:27:29 +0200] rev 51892

tuned names + extended ML signature

nipkow [Tue, 07 May 2013 10:35:40 +0200] rev 51891

merged

nipkow [Tue, 07 May 2013 10:34:55 +0200] rev 51890

tuned name: filter -> constrain (longer but more intuitive)

blanchet [Tue, 07 May 2013 10:29:30 +0200] rev 51889

tuning

blanchet [Tue, 07 May 2013 10:18:59 +0200] rev 51888

imported patch refactor_coiter_constr

nipkow [Tue, 07 May 2013 03:24:23 +0200] rev 51887

tuned

blanchet [Mon, 06 May 2013 22:49:26 +0200] rev 51886

started factoring out coiter construction

blanchet [Mon, 06 May 2013 21:29:16 +0200] rev 51885

rationalize ML signature

isabelle