src/HOL/Library/Library.thy
changeset 30261 4db36ab8d1c4
parent 30242 aea5d7fa7ef5
child 30326 a01b2de0e3e1
     1.1 --- a/src/HOL/Library/Library.thy	Wed Mar 04 19:21:55 2009 +0000
     1.2 +++ b/src/HOL/Library/Library.thy	Wed Mar 04 19:21:55 2009 +0000
     1.3 @@ -50,6 +50,7 @@
     1.4    Reflection
     1.5    RBT
     1.6    State_Monad
     1.7 +  Topology_Euclidean_Space
     1.8    Univ_Poly
     1.9    While_Combinator
    1.10    Word