14 months ago immler 2018-05-03 merged; resolved conflicts manually (esp. lemmas that have been moved from Linear_Algebra and Cartesian_Euclidean_Space)
14 months ago immler 2018-05-02 added Johannes' generalizations Modules.thy and Vector_Spaces.thy; adapted HOL and HOL-Analysis accordingly
15 months ago paulson 2018-04-19 some simpler, cleaner proofs
17 months ago wenzelm 2018-02-15 more symbols;
18 months ago nipkow 2018-01-10 ran isabelle update_op on all sources
20 months ago wenzelm 2017-11-26 more symbols;
23 months ago wenzelm 2017-08-18 session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
2017-03-02 ballarin 2017-03-02 Knaster-Tarski fixed point theorem and Galois Connections.