isabelle: Graph

more cartouches
2018-07-18, by haftmann
merged
2018-07-19, by traytel
normalize imports
2018-07-19, by traytel
tagged
2018-07-17, by Manuel Eberl
evade odd connection problems to https://isabelle.in.tum.de from some remote hosts;
2018-07-18, by wenzelm
prefer HTTPS;
2018-07-18, by wenzelm
more ANNOUNCE;
2018-07-18, by wenzelm
tuned;
2018-07-18, by wenzelm
more de-applying
2018-07-17, by paulson
merged
2018-07-16, by paulson
de-applying and simplifying proofs
2018-07-16, by paulson
Tagged some more files in HOL-Analysis
2018-07-16, by Manuel Eberl
Made simproc for sqrt/root of numeral more robust
2018-07-16, by Manuel Eberl
merged
2018-07-16, by Andreas Lochbihler
merged
2018-07-15, by Andreas Lochbihler
more examples for Code_Lazy
2018-07-15, by Andreas Lochbihler
de-applying and meta-quantifying
2018-07-15, by paulson
merged
2018-07-15, by paulson
more renaming fixes
2018-07-15, by paulson
fixes and more de-applying
2018-07-15, by paulson
more de-applying and a fix
2018-07-15, by paulson
merged
2018-07-15, by paulson
last bit of renaming
2018-07-15, by paulson
de-applying
2018-07-14, by paulson
Added Real_Asymp package
2018-07-15, by Manuel Eberl
Tagged Conformal_Mappings in HOL-Analysis
2018-07-15, by Wenda Li
merged
2018-07-13, by paulson
merged
2018-07-13, by paulson
de-applying
2018-07-13, by paulson
HOL-Analysis: Volume of a simplex, Heron's theorem
2018-07-13, by Manuel Eberl

isabelle