isabelle: Changelog

wenzelm [Tue, 07 Jun 2016 20:45:07 +0200] rev 63254

less ambitious arguments: thms only, no context declaration;

wenzelm [Tue, 07 Jun 2016 19:59:42 +0200] rev 63253

added method operator "use";

wenzelm [Tue, 07 Jun 2016 19:57:41 +0200] rev 63252

clarified signature;

wenzelm [Tue, 07 Jun 2016 19:55:45 +0200] rev 63251

clean facts more uniformly;

wenzelm [Tue, 07 Jun 2016 15:44:18 +0200] rev 63250

expode method_facts via dynamic method context;

wenzelm [Tue, 07 Jun 2016 11:27:01 +0200] rev 63249

tuned;

immler [Wed, 08 Jun 2016 16:46:48 +0200] rev 63248

generalized bitlen to floor of log

Andreas Lochbihler [Wed, 08 Jun 2016 09:09:46 +0200] rev 63247

repair Unicode mess-up in c493859d4267

Andreas Lochbihler [Wed, 08 Jun 2016 09:07:05 +0200] rev 63246

NEWS and CONTRIBUTORS for SPMF

Andreas Lochbihler [Wed, 08 Jun 2016 09:05:32 +0200] rev 63245

merged

isabelle