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 _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
