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