isabelle: Changelog

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

wenzelm [Tue, 10 May 2016 22:25:06 +0200] rev 63080

find dynamic facts as well, but static ones are preferred; tuned;

immler [Tue, 10 May 2016 15:48:37 +0200] rev 63079

some slight generalizations

isabelle