9 months ago haftmann 2018-07-18 slightly more uniform style
9 months ago haftmann 2018-07-18 taken over from AFP / Gauss_Jordan
9 months ago haftmann 2018-07-18 more cartouches
9 months ago traytel 2018-07-19 merged
9 months ago traytel 2018-07-19 normalize imports
9 months ago Manuel Eberl 2018-07-17 tagged
9 months ago wenzelm 2018-07-18 evade odd connection problems to https://isabelle.in.tum.de from some remote hosts;
9 months ago wenzelm 2018-07-18 prefer HTTPS;
9 months ago wenzelm 2018-07-18 more ANNOUNCE;
9 months ago wenzelm 2018-07-18 tuned;
9 months ago paulson 2018-07-17 more de-applying
9 months ago paulson 2018-07-16 merged
9 months ago paulson 2018-07-16 de-applying and simplifying proofs
9 months ago Manuel Eberl 2018-07-16 Tagged some more files in HOL-Analysis
9 months ago Manuel Eberl 2018-07-16 Made simproc for sqrt/root of numeral more robust
9 months ago Andreas Lochbihler 2018-07-16 merged
9 months ago Andreas Lochbihler 2018-07-15 merged
9 months ago Andreas Lochbihler 2018-07-15 more examples for Code_Lazy
9 months ago paulson 2018-07-15 de-applying and meta-quantifying
9 months ago paulson 2018-07-15 merged
9 months ago paulson 2018-07-15 more renaming fixes
9 months ago paulson 2018-07-15 fixes and more de-applying
9 months ago paulson 2018-07-15 more de-applying and a fix
9 months ago paulson 2018-07-15 merged
9 months ago paulson 2018-07-15 last bit of renaming
9 months ago paulson 2018-07-14 de-applying
9 months ago Manuel Eberl 2018-07-15 Added Real_Asymp package
9 months ago Wenda Li 2018-07-15 Tagged Conformal_Mappings in HOL-Analysis
9 months ago paulson 2018-07-13 merged
9 months ago paulson 2018-07-13 merged
9 months ago paulson 2018-07-13 de-applying
9 months ago Manuel Eberl 2018-07-13 HOL-Analysis: Volume of a simplex, Heron's theorem
9 months ago Manuel Eberl 2018-07-13 Tagged Ball_Volume and Gamma_Function in HOL-Analysis
9 months ago nipkow 2018-07-13 correct import
9 months ago nipkow 2018-07-13 merged
9 months ago nipkow 2018-07-13 unit_cube = cbox 0 One
9 months ago immler 2018-07-13 relaxed assumptions for dim_image_eq and dim_image_le
9 months ago paulson 2018-07-12 merged
9 months ago paulson 2018-07-12 de-applying (mostly Set_Interval)
9 months ago nipkow 2018-07-12 more economic tagging
9 months ago paulson 2018-07-11 de-applying (mostly Quotient)
9 months ago paulson 2018-07-11 de-applying
9 months ago paulson 2018-07-11 more de-applying
9 months ago paulson 2018-07-11 patched a continuity proof
9 months ago paulson 2018-07-11 merged
9 months ago paulson 2018-07-10 de-applying, etc.
9 months ago nipkow 2018-07-11 moved lemmas
9 months ago paulson 2018-07-10 merged
9 months ago paulson 2018-07-09 final removal of smt from Algebra
9 months ago immler 2018-07-10 make theorem, corollary, and proposition %important for HOL-Analysis manual
9 months ago paulson 2018-07-09 removal of smt and certain refinements
9 months ago paulson 2018-07-08 removal of smt
9 months ago paulson 2018-07-08 elimination of some "smt"
9 months ago paulson 2018-07-08 De-applying
9 months ago paulson 2018-07-07 merged
9 months ago paulson 2018-07-07 de-applying, etc.
9 months ago nipkow 2018-07-06 more symmetric
9 months ago wenzelm 2018-07-06 prefer HTTPS;
9 months ago wenzelm 2018-07-06 just one global lock for group status: avoid proliferation of mutexes, condvars;
9 months ago wenzelm 2018-07-06 more frugal assignment of lazy value: fewer mutexes, condvars; cannot use RunCall.clearMutableBit due to spurious crashes;