104 minutes ago paulson 2018-04-26 small typeclass generalisations default tip
3 hours ago paulson 2018-04-26 merged
5 hours ago paulson 2018-04-26 some of Jose Divasón's material from Rank_Nullity_Theorem/Miscellaneous
6 hours ago wenzelm 2018-04-26 spelling;
20 hours ago paulson 2018-04-25 more messy proofs redone, and new material
25 hours ago paulson 2018-04-25 merged
26 hours ago paulson 2018-04-25 merged
26 hours ago paulson 2018-04-25 new material on matricies by Tim Makarios (from Tarskis_Geometry in the AFP)
26 hours ago wenzelm 2018-04-25 merged
28 hours ago wenzelm 2018-04-25 tuned -- avoid spurious exception trace for "the";
27 hours ago haftmann 2018-04-25 proof of concept for residue rings over int using type numerals
31 hours ago haftmann 2018-04-25 more correct error message
31 hours ago haftmann 2018-04-25 uniform tagging for printable and non-printable literals
43 hours ago paulson 2018-04-24 merged
43 hours ago paulson 2018-04-24 fixing more messy proofs
2 days ago wenzelm 2018-04-24 more ambitious parallelism (in contrast to a8ee8e4884ec): pri = 1 ensures that internal proof tasks are executed before the already forked theory outline with pri = 0;
2 days ago wenzelm 2018-04-24 eliminated pointless special case (see also a8ee8e4884ec, c4c4c2f01723);
2 days ago haftmann 2018-04-24 proper datatype for 8-bit characters
2 days ago haftmann 2018-04-24 corrected nonsense
2 days ago wenzelm 2018-04-24 less ambitious parallelism: avoid problems with HOL-Proofs and threads=2 (congestion with many thousands futures and rather dense heap);
2 days ago wenzelm 2018-04-24 clarified modules;
2 days ago paulson 2018-04-23 tidied some horrid proofs
3 days ago nipkow 2018-04-23 del_max -> split_max
3 days ago paulson 2018-04-22 Tidied a lot of messy proofs
5 days ago nipkow 2018-04-21 dont rename PQ.del_min
5 days ago nipkow 2018-04-21 del_min -> split_min
5 days ago wenzelm 2018-04-20 merged
5 days ago wenzelm 2018-04-20 support for XZ.Cache;
5 days ago paulson 2018-04-20 three new theorems
6 days ago wenzelm 2018-04-20 merged
6 days ago wenzelm 2018-04-20 updated to postgresql-42.2.2, with more smooth support for Java 9/10;
6 days ago wenzelm 2018-04-20 minimal Java source version for jdk-10.0.1;
6 days ago wenzelm 2018-04-20 workaround for jdk-10.0.1;
6 days ago wenzelm 2018-04-20 more robust, notably for jdk-10.0.1 where jre is absent;
6 days ago haftmann 2018-04-20 moved lemma to more appropriate place
6 days ago haftmann 2018-04-20 algebraic embeddings for bit operations
6 days ago wenzelm 2018-04-19 updated to jdk-8u172;
6 days ago wenzelm 2018-04-19 merged
6 days ago wenzelm 2018-04-19 updated to jfreechart-1.5.0, but retain bundled iText-2.1.5.jar from jfreechart-1.0.14 to avoid iText-5/7 license complexity;
7 days ago paulson 2018-04-19 tuning of a proof
7 days ago paulson 2018-04-19 merged
7 days ago paulson 2018-04-19 some simpler, cleaner proofs
7 days ago wenzelm 2018-04-19 prefer explicit 32/64 bit platform settings;
7 days ago wenzelm 2018-04-19 misc tuning and clarification;
7 days ago paulson 2018-04-18 correction of TeX errors and other oversights
7 days ago paulson 2018-04-18 Oops! Change_Of_Vars was not being imported to Analysis!
8 days ago paulson 2018-04-18 tidying up including contributions from Paulo Emílio de Vilhena
8 days ago paulson 2018-04-17 Change of variables proof
8 days ago paulson 2018-04-17 merged
9 days ago paulson 2018-04-17 Vitali covering theorem
9 days ago wenzelm 2018-04-17 updated to xz-java-1.8;
9 days ago wenzelm 2018-04-17 updated windows_app to launch4j 3.11 and 7zsd_extra_171_3901.7z (reconstructed by Chris Lake);
9 days ago wenzelm 2018-04-17 NEWS;
9 days ago wenzelm 2018-04-17 updated to jedit-5.5.0; discontinued jedit_build/contrib/jEdit-patched.tar.gz -- its content is in directory jedit_build/contrib/jedit-5.5.0-patched/jEdit;
9 days ago paulson 2018-04-17 more about measure
9 days ago paulson 2018-04-16 some more random results
10 days ago paulson 2018-04-16 more results about measure and negligibility
10 days ago haftmann 2018-04-16 explicit simp rules for computing abstract bit operations
11 days ago haftmann 2018-04-15 more and generalized lemmas
10 days ago paulson 2018-04-15 quite a few more results about negligibility, etc., and a bit of tidying up