isabelle: Changelog

blanchet [Tue, 07 May 2013 15:03:15 +0200] rev 51898

merge

blanchet [Tue, 07 May 2013 15:03:01 +0200] rev 51897

refactoring

blanchet [Tue, 07 May 2013 14:27:39 +0200] rev 51896

export one more function + tuning

traytel [Tue, 07 May 2013 15:20:46 +0200] rev 51895

do not unfold the definition of the relator as it is not defined in terms of srel anymore

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

isabelle