isabelle: Changelog

wenzelm [Fri, 19 Jun 2015 19:45:01 +0200] rev 60522

tuned;

wenzelm [Fri, 19 Jun 2015 19:29:57 +0200] rev 60521

removed dead code;

wenzelm [Fri, 19 Jun 2015 19:13:15 +0200] rev 60520

moved sources;

wenzelm [Fri, 19 Jun 2015 18:41:21 +0200] rev 60519

tuned proofs;

wenzelm [Fri, 19 Jun 2015 15:02:24 +0200] rev 60518

uniform system_mode for build test: avoid spurious output_dir/log that is not required later;

haftmann [Fri, 19 Jun 2015 07:53:35 +0200] rev 60517

separate class for notions specific for integral (semi)domains, in contrast to fields where these are trivial

haftmann [Fri, 19 Jun 2015 07:53:33 +0200] rev 60516

generalized some theorems about integral domains and moved to HOL theories

nipkow [Fri, 19 Jun 2015 15:55:22 +0200] rev 60515

renamed multiset_of -> mset

nipkow [Thu, 18 Jun 2015 16:17:51 +0200] rev 60514

NEWS

nipkow [Thu, 18 Jun 2015 16:16:17 +0200] rev 60513

multiset_of_set -> mset_set

isabelle