equal
deleted
inserted
replaced
701 Multivariate_Analysis |
701 Multivariate_Analysis |
702 Determinants |
702 Determinants |
703 PolyRoots |
703 PolyRoots |
704 Complex_Analysis_Basics |
704 Complex_Analysis_Basics |
705 Complex_Transcendental |
705 Complex_Transcendental |
|
706 Cauchy_Integral_Thm |
706 document_files |
707 document_files |
707 "root.tex" |
708 "root.tex" |
708 |
709 |
709 session "HOL-Multivariate_Analysis-ex" in "Multivariate_Analysis/ex" = "HOL-Multivariate_Analysis" + |
710 session "HOL-Multivariate_Analysis-ex" in "Multivariate_Analysis/ex" = "HOL-Multivariate_Analysis" + |
710 theories |
711 theories |