wenzelm [Wed, 10 Aug 2016 22:03:58 +0200] rev 63652
misc tuning and modernization;
nipkow [Wed, 10 Aug 2016 16:55:49 +0200] rev 63651
merged
nipkow [Wed, 10 Aug 2016 15:42:52 +0200] rev 63650
"split add" -> "split".
Documented new modifier "split!"
wenzelm [Wed, 10 Aug 2016 14:50:59 +0200] rev 63649
tuned proofs;
nipkow [Wed, 10 Aug 2016 09:33:54 +0200] rev 63648
"split add" -> "split"
wenzelm [Tue, 09 Aug 2016 23:29:54 +0200] rev 63647
merged
wenzelm [Tue, 09 Aug 2016 23:26:51 +0200] rev 63646
API for Isabelle Jenkins continuous integration services;
wenzelm [Tue, 09 Aug 2016 23:19:35 +0200] rev 63645
more operations;
wenzelm [Tue, 09 Aug 2016 23:18:42 +0200] rev 63644
support for JSON parsing;
nipkow [Tue, 09 Aug 2016 21:18:32 +0200] rev 63643
New theory Balance_List
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
wenzelm [Mon, 08 Aug 2016 21:26:00 +0200] rev 63632
Item_Net.retrieve_matching requires beta-eta normal form (amending 8976c5bc9e97);
wenzelm [Mon, 08 Aug 2016 19:39:23 +0200] rev 63631
merged
wenzelm [Mon, 08 Aug 2016 19:34:00 +0200] rev 63630
tuned proof;
wenzelm [Mon, 08 Aug 2016 18:55:12 +0200] rev 63629
tuned;
wenzelm [Mon, 08 Aug 2016 18:52:09 +0200] rev 63628
tuned;
hoelzl [Mon, 08 Aug 2016 14:13:14 +0200] rev 63627
rename HOL-Multivariate_Analysis to HOL-Analysis.
hoelzl [Fri, 05 Aug 2016 18:34:57 +0200] rev 63626
move measure theory from HOL-Probability to HOL-Multivariate_Analysis
wenzelm [Sun, 07 Aug 2016 12:10:49 +0200] rev 63625
misc tuning and modernization;
wenzelm [Sat, 06 Aug 2016 18:14:59 +0200] rev 63624
more informative 'prf' and 'full_prf', based on HOL/Proofs/ex/XML_Data.thy;
wenzelm [Sat, 06 Aug 2016 17:39:21 +0200] rev 63623
tuned signature;