[isabelle-dev] New analysis material

[Lawrence Paulson]

People may have noticed that I have been uploading thousands of lines of new results for Analysis, in connection with the homology development. But we can easily see a pattern now, with more or less abstract topology being developed before integration theory, complex analysis, winding numbers and other horrors. This may suggest a division of Analysis, maybe even before the next release.

There will be many thousands of lines for Algebra as well.

Larry