isabelle: Changelog

nipkow [Fri, 10 Apr 2015 12:16:45 +0200] rev 59998

renamed Multiset.fold -> fold_mset, Multiset.filter -> filter_mset

wenzelm [Fri, 10 Apr 2015 11:52:55 +0200] rev 59997

tuned proofs;

wenzelm [Fri, 10 Apr 2015 11:31:10 +0200] rev 59996

tuned signature;

wenzelm [Fri, 10 Apr 2015 11:29:12 +0200] rev 59995

tuned;

blanchet [Thu, 09 Apr 2015 23:10:08 +0200] rev 59994

renamed misleading option

wenzelm [Thu, 09 Apr 2015 22:56:31 +0200] rev 59993

obsolete;

wenzelm [Thu, 09 Apr 2015 22:53:26 +0200] rev 59992

make SML/NJ more happy;

wenzelm [Thu, 09 Apr 2015 20:42:38 +0200] rev 59991

merged

wenzelm [Thu, 09 Apr 2015 20:42:32 +0200] rev 59990

clarified keyword 'qualified' in accordance to a similar keyword from Haskell (despite unrelated Binding.qualified in Isabelle/ML);

blanchet [Thu, 09 Apr 2015 18:46:16 +0200] rev 59989

tuned signature

isabelle