4 months ago 
nipkow 
20190213 
removed subsumed lemma

file  diff  annotate 
4 months ago 
haftmann 
20190131 
proper congruence rule for image operator

file  diff  annotate 
5 months ago 
immler 
20190116 
Reorg, in particular Determinants as well as some linear algebra from Starlike and Change_Of_Vars

file  diff  annotate 
5 months ago 
haftmann 
20190114 
tuned proofs

file  diff  annotate 
5 months ago 
immler 
20190107 
split off Convex.thy: material that does not require Topology_Euclidean_Space

file  diff  annotate 