isabelle: Changelog

wenzelm [Thu, 12 May 2016 22:06:18 +0200] rev 63090

common entity definitions within a global or local theory context;

haftmann [Thu, 12 May 2016 14:38:53 +0200] rev 63089

clarified heading

haftmann [Thu, 12 May 2016 09:34:07 +0200] rev 63088

a quasi-recursive characterization of the multiset order (by Christian Sternagel)

wenzelm [Thu, 12 May 2016 11:34:19 +0200] rev 63087

merged

wenzelm [Thu, 12 May 2016 10:57:09 +0200] rev 63086

avoid spurious fact index, notably in "context begin" (via Bundle.context);

wenzelm [Thu, 12 May 2016 10:21:59 +0200] rev 63085

tuned;

wenzelm [Thu, 12 May 2016 10:16:52 +0200] rev 63084

tuned;

wenzelm [Thu, 12 May 2016 10:03:17 +0200] rev 63083

tuned;

Lars Hupel <lars.hupel@mytum.de> [Thu, 12 May 2016 10:31:25 +0200] rev 63082

expose Sessions.Info in Build.Results

immler [Wed, 11 May 2016 16:13:17 +0200] rev 63081

introduced class topological_group between topological_monoid and real_normed_vector

isabelle