src/HOL/Library/Topology_Euclidean_Space.thy
2009-04-20 haftmann 2009-04-20 power operation on functions with syntax o^; power operation on relations with syntax ^^
2009-03-22 haftmann 2009-03-22 merged
2009-03-22 haftmann 2009-03-22 dropped theory Arith_Tools
2009-03-22 nipkow 2009-03-22 1. New cancellation simprocs for common factors in inequations 2. Updated the documentation
2009-03-19 huffman 2009-03-19 imported patch euclidean
2009-03-16 wenzelm 2009-03-16 simplified method setup;
2009-03-13 wenzelm 2009-03-13 unified type Proof.method and pervasive METHOD combinators;
2009-03-12 huffman 2009-03-12 remove trailing spaces
2009-03-05 wenzelm 2009-03-05 fixed document;
2009-03-04 wenzelm 2009-03-04 removed old/broken CVS Ids;
2009-03-04 chaieb 2009-03-04 A formalization of Topology on Euclidean spaces, Includes limits (nets) , continuity, fixpoint theorems, homeomorphisms