15 months ago wenzelm 2018-05-06 tuned signature; clarified modules;
15 months ago wenzelm 2018-05-06 tuned signature;
15 months ago wenzelm 2018-05-05 protocol message for export of theory resources;
15 months ago wenzelm 2018-05-05 hexadecimal representation of byte string;
15 months ago wenzelm 2018-05-05 cleanup session output before starting build job; tuned signature;
15 months ago nipkow 2018-05-06 reinstated old lemma name
15 months ago nipkow 2018-05-06 updated to lemma name change
15 months ago nipkow 2018-05-06 removed asm "finite"
15 months ago wenzelm 2018-05-04 merged
15 months ago wenzelm 2018-05-04 no censorship of view title;
15 months ago wenzelm 2018-05-04 set view title dynamically;
15 months ago nipkow 2018-05-04 tuned
15 months ago nipkow 2018-05-04 tuned
15 months ago paulson 2018-05-03 Some tidying up (mostly regarding summations from 0)
15 months ago paulson 2018-05-03 tidied up Infinite_Products
15 months ago immler 2018-05-03 merged
15 months ago immler 2018-05-03 fixed HOL-Analysis
15 months ago immler 2018-05-03 merged; resolved conflicts manually (esp. lemmas that have been moved from Linear_Algebra and Cartesian_Euclidean_Space)
15 months ago immler 2018-05-02 added Johannes' generalizations Modules.thy and Vector_Spaces.thy; adapted HOL and HOL-Analysis accordingly
15 months ago paulson 2018-05-03 a lemma about infinite products
15 months ago paulson 2018-05-02 merged
15 months ago paulson 2018-05-02 tidying up and using real induction methods
15 months ago wenzelm 2018-05-02 tuned -- slightly smaller future closure size;
15 months ago wenzelm 2018-05-02 clarified menu actions;
15 months ago wenzelm 2018-05-02 purge history more thoroughly (see also 3156faac30a7);
15 months ago paulson 2018-05-02 merged
15 months ago paulson 2018-05-02 type class generalisations; some work on infinite products
15 months ago paulson 2018-05-02 merged
15 months ago paulson 2018-05-01 simplified some messy proofs
15 months ago wenzelm 2018-05-01 clarified theory location and imports: avoid surprises due to Pure instead of Main (e.g. simpset operations); tuned headers;
15 months ago wenzelm 2018-05-01 avoid output showing up in kill ring (via TextArea.setText, JEditBuffer.remove, UndoManager.contentRemoved), e.g. relevant for action "paste-deleted";
15 months ago paulson 2018-04-30 merged
15 months ago paulson 2018-04-30 more general tidying up
15 months ago boehmes 2018-04-30 prefer explicit error message to unspecific Options exception: Z3 proof traces may lack information necessary for replay when dealing with quantified formulas
15 months ago paulson 2018-04-29 cleaned up more messy proofs
15 months ago paulson 2018-04-29 more defer/prefer
15 months ago paulson 2018-04-28 getting rid of more "defer", etc.
15 months ago paulson 2018-04-28 getting rid of "defer"
16 months ago paulson 2018-04-27 another big cleanup
16 months ago paulson 2018-04-27 merged
16 months ago paulson 2018-04-27 minor typeclass generalisations and junk removal
16 months ago paulson 2018-04-26 merged
16 months ago paulson 2018-04-26 more messy proofs
16 months ago nipkow 2018-04-26 merged
16 months ago nipkow 2018-04-26 new simp modifier: reorient
16 months ago paulson 2018-04-26 small typeclass generalisations
16 months ago paulson 2018-04-26 merged
16 months ago paulson 2018-04-26 some of Jose Divasón's material from Rank_Nullity_Theorem/Miscellaneous
16 months ago wenzelm 2018-04-26 spelling;
16 months ago paulson 2018-04-25 more messy proofs redone, and new material
16 months ago paulson 2018-04-25 merged
16 months ago paulson 2018-04-25 merged
16 months ago paulson 2018-04-25 new material on matricies by Tim Makarios (from Tarskis_Geometry in the AFP)
16 months ago wenzelm 2018-04-25 merged
16 months ago wenzelm 2018-04-25 tuned -- avoid spurious exception trace for "the";
16 months ago haftmann 2018-04-25 proof of concept for residue rings over int using type numerals
16 months ago haftmann 2018-04-25 more correct error message
16 months ago haftmann 2018-04-25 uniform tagging for printable and non-printable literals
16 months ago paulson 2018-04-24 merged
16 months ago paulson 2018-04-24 fixing more messy proofs