isabelle: Changelog

wenzelm [Tue, 09 Aug 2016 20:35:21 +0200] rev 63642

more operations;

wenzelm [Tue, 09 Aug 2016 19:45:01 +0200] rev 63641

merged;

wenzelm [Tue, 09 Aug 2016 19:44:28 +0200] rev 63640

print name in parsable form;

wenzelm [Tue, 09 Aug 2016 14:41:27 +0200] rev 63639

clarified bootstrap;

nipkow [Tue, 09 Aug 2016 19:26:17 +0200] rev 63638

merged

nipkow [Tue, 09 Aug 2016 18:09:32 +0200] rev 63637

adapted ZF,FOL,CCL,LCF to modified splitter

nipkow [Tue, 09 Aug 2016 17:00:36 +0200] rev 63636

introduced aggressive splitter "split!"

eberlm <eberlm@in.tum.de> [Tue, 09 Aug 2016 12:30:31 +0200] rev 63635

Tuned primes

eberlm <eberlm@in.tum.de> [Tue, 09 Aug 2016 11:57:24 +0200] rev 63634

Merged

eberlm <eberlm@in.tum.de> [Mon, 08 Aug 2016 17:47:51 +0200] rev 63633

is_prime -> prime

isabelle