isabelle: Changelog

eberlm <eberlm@in.tum.de> [Fri, 22 Jul 2016 17:35:54 +0200] rev 63537

Removed redundant material related to primes

eberlm <eberlm@in.tum.de> [Fri, 22 Jul 2016 15:39:32 +0200] rev 63536

Merged

eberlm <eberlm@in.tum.de> [Fri, 22 Jul 2016 15:39:27 +0200] rev 63535

Tuned primes

eberlm <eberlm@in.tum.de> [Thu, 21 Jul 2016 10:06:04 +0200] rev 63534

Overhaul of prime/multiplicity/prime_factors

wenzelm [Thu, 21 Jul 2016 10:52:27 +0200] rev 63533

merged

wenzelm [Wed, 20 Jul 2016 22:36:10 +0200] rev 63532

provide Pure.simp/simp_all, which only know about meta-equality;

wenzelm [Wed, 20 Jul 2016 21:26:11 +0200] rev 63531

clarified imports; tuned;

wenzelm [Wed, 20 Jul 2016 20:24:21 +0200] rev 63530

tuned;

wenzelm [Wed, 20 Jul 2016 16:18:10 +0200] rev 63529

oops;

wenzelm [Wed, 20 Jul 2016 16:02:00 +0200] rev 63528

completion templates for commands involving "begin ... end" blocks;

isabelle