isabelle: Changelog

wenzelm [Sun, 23 Apr 2017 18:12:42 +0200] rev 65560

tuned;

wenzelm [Sun, 23 Apr 2017 17:23:38 +0200] rev 65559

more operations;

wenzelm [Sun, 23 Apr 2017 16:18:31 +0200] rev 65558

support for multiple operations via options;

wenzelm [Sun, 23 Apr 2017 15:59:51 +0200] rev 65557

clarified tool name -- more official status;

haftmann [Sun, 23 Apr 2017 14:53:35 +0200] rev 65556

more lemmas

haftmann [Sun, 23 Apr 2017 14:53:33 +0200] rev 65555

include GCD as integral part of computational algebra in session HOL

wenzelm [Sun, 23 Apr 2017 14:27:22 +0200] rev 65554

prefer strict operation (despite 8edca3465758): there might be errors from all_known = true (ae09b9f5980b);

wenzelm [Sun, 23 Apr 2017 14:15:09 +0200] rev 65553

added missing file (amending f533820e7248);

wenzelm [Sat, 22 Apr 2017 22:01:35 +0200] rev 65552

theories "GCD" and "Binomial" are already included in "Main": this avoids improper imports in applications;

wenzelm [Sat, 22 Apr 2017 12:52:55 +0200] rev 65551

merged

isabelle