summary |
shortlog |
changelog |
graph |
tags |
bookmarks |
branches |
files | gz |
help

(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 tip

(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 tip

tuned: each session has at most one defining entry;

more operations;

tuned signature;

tuned signature;

Divided Topology_Euclidean_Space in two, creating new theory Connected. Also deleted some duplicate / variant theorems

Session HOL-Analysis: Moebius functions and the Riemann mapping theorem.

merged

tuned: less oo-non-sense;

operations for graph display;

tuned signature;