21 months ago ago wenzelm clarified menu actions;
21 months ago ago wenzelm purge history more thoroughly (see also 3156faac30a7);
21 months ago ago paulson tidying up and using real induction methods
21 months ago ago paulson merged
21 months ago ago paulson merged
21 months ago ago wenzelm clarified theory location and imports: avoid surprises due to Pure instead of Main (e.g. simpset operations);
21 months ago ago paulson type class generalisations; some work on infinite products
21 months ago ago paulson simplified some messy proofs
21 months ago ago wenzelm avoid output showing up in kill ring (via TextArea.setText, JEditBuffer.remove, UndoManager.contentRemoved), e.g. relevant for action "paste-deleted";
21 months ago ago paulson merged
21 months ago ago boehmes prefer explicit error message to unspecific Options exception: Z3 proof traces may lack information necessary for replay when dealing with quantified formulas
21 months ago ago paulson more general tidying up
21 months ago ago paulson cleaned up more messy proofs
21 months ago ago paulson more defer/prefer
21 months ago ago paulson getting rid of more "defer", etc.
21 months ago ago paulson getting rid of "defer"
22 months ago ago paulson another big cleanup
22 months ago ago paulson merged
22 months ago ago paulson minor typeclass generalisations and junk removal
22 months ago ago paulson merged
22 months ago ago nipkow merged
22 months ago ago paulson more messy proofs
22 months ago ago nipkow new simp modifier: reorient
22 months ago ago paulson small typeclass generalisations
22 months ago ago paulson merged
22 months ago ago wenzelm spelling;
22 months ago ago paulson some of Jose Divasón's material from Rank_Nullity_Theorem/Miscellaneous
22 months ago ago paulson more messy proofs redone, and new material
22 months ago ago paulson merged
22 months ago ago wenzelm merged
22 months ago ago wenzelm tuned -- avoid spurious exception trace for "the";
22 months ago ago paulson merged
22 months ago ago haftmann proof of concept for residue rings over int using type numerals
22 months ago ago haftmann more correct error message
22 months ago ago haftmann uniform tagging for printable and non-printable literals
22 months ago ago paulson new material on matricies by Tim Makarios (from Tarskis_Geometry in the AFP)
22 months ago ago paulson merged
22 months ago ago wenzelm 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;
22 months ago ago wenzelm eliminated pointless special case (see also a8ee8e4884ec, c4c4c2f01723);
22 months ago ago paulson fixing more messy proofs
22 months ago ago haftmann proper datatype for 8-bit characters
22 months ago ago haftmann corrected nonsense
22 months ago ago wenzelm less ambitious parallelism: avoid problems with HOL-Proofs and threads=2 (congestion with many thousands futures and rather dense heap);
22 months ago ago wenzelm clarified modules;
22 months ago ago paulson tidied some horrid proofs
22 months ago ago nipkow del_max -> split_max
22 months ago ago paulson Tidied a lot of messy proofs
22 months ago ago nipkow dont rename PQ.del_min
22 months ago ago nipkow del_min -> split_min
22 months ago ago wenzelm merged
22 months ago ago wenzelm support for XZ.Cache;
22 months ago ago paulson three new theorems
22 months ago ago wenzelm merged
22 months ago ago wenzelm updated to postgresql-42.2.2, with more smooth support for Java 9/10;
22 months ago ago wenzelm minimal Java source version for jdk-10.0.1;
22 months ago ago wenzelm workaround for jdk-10.0.1;
22 months ago ago wenzelm more robust, notably for jdk-10.0.1 where jre is absent;
22 months ago ago haftmann moved lemma to more appropriate place
22 months ago ago haftmann algebraic embeddings for bit operations
22 months ago ago wenzelm updated to jdk-8u172;