22 months ago ago paulson tidying up including contributions from Paulo Emílio de Vilhena
22 months ago ago paulson Change of variables proof
22 months ago ago paulson merged
22 months ago ago wenzelm updated to xz-java-1.8;
22 months ago ago wenzelm updated windows_app to launch4j 3.11 and 7zsd_extra_171_3901.7z (reconstructed by Chris Lake);
22 months ago ago wenzelm NEWS;
22 months ago ago wenzelm updated to jedit-5.5.0;
22 months ago ago paulson Vitali covering theorem
22 months ago ago paulson more about measure
22 months ago ago paulson some more random results
22 months ago ago paulson more results about measure and negligibility
22 months ago ago haftmann explicit simp rules for computing abstract bit operations
22 months ago ago haftmann more and generalized lemmas
22 months ago ago paulson quite a few more results about negligibility, etc., and a bit of tidying up
22 months ago ago paulson merged
22 months ago ago nipkow added bottom-up merge sort
22 months ago ago paulson a few more results
22 months ago ago paulson various new results on measures, integrals, etc., and some simplified proofs
22 months ago ago paulson more new theorems on real^1, matrices, etc.
22 months ago ago paulson a few new theorems and some fixes
22 months ago ago paulson new material about vec, real^1, etc.
22 months ago ago paulson merged
22 months ago ago nipkow added lemma
22 months ago ago paulson Probability builds with new definitions
22 months ago ago paulson Analysis builds using set_borel_measurable_def, etc.
22 months ago ago paulson merged
22 months ago ago boehmes avoid adding unnecessary quantified lemmas when embedding natural number terms into integer terms: quantified lemmas can cause Z3 to produce complex proofs that are hard to replay in Isabelle
22 months ago ago paulson replacement of set integral abbreviations by actual definitions!
22 months ago ago paulson merged
22 months ago ago nipkow removed dots at the end of (sub)titles
22 months ago ago paulson A couple of new results
22 months ago ago paulson Syntax for the special cases Min(A`I) and Max (A`I)
22 months ago ago nipkow moved and renamed lemmas
22 months ago ago nipkow Added binary set operations with join-based implementation
22 months ago ago nipkow more name tuning
22 months ago ago nipkow better name; added binary operations
22 months ago ago nipkow tuned
22 months ago ago immler a first shot at tagging for HOL-Analysis manual
22 months ago ago haftmann even more on bit operations
22 months ago ago haftmann more bit operation conversions
22 months ago ago haftmann more rules for numeral conversions;
23 months ago ago huffman tuned proofs and generalized some lemmas about limits
23 months ago ago huffman tuned some proofs
23 months ago ago huffman tuned some proofs about filters
23 months ago ago wenzelm clarified handling of stdout vs. stderr: the cronjob should normally be silent;
23 months ago ago wenzelm proper self_update of components -- do assume shared file-system;
23 months ago ago wenzelm updated to scala-2.12.5;
23 months ago ago Manuel Eberl Merged
23 months ago ago nipkow added lemmas
23 months ago ago Manuel Eberl Removed some uses of deprecated _tac methods. (Patch from Viorel Preoteasa)
23 months ago ago Manuel Eberl Added some simple facts about limits
23 months ago ago wenzelm clarified signature;
23 months ago ago wenzelm clarified messages (amending 3e072441c96a);
23 months ago ago wenzelm session tmp_dir is default master_dir;
23 months ago ago wenzelm tuned output;
23 months ago ago wenzelm tuned;
23 months ago ago wenzelm clarified theory node name;
23 months ago ago nipkow added lemma
23 months ago ago wenzelm added command "purge_theories";
23 months ago ago wenzelm clarified signature -- eliminated somewhat pointless positions;