Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Library/Convex_Euclidean_Space.thy
changeset 31278 60a53b5af39c
parent 31276 f6427bc40421
child 31279 4ae81233cf69
equal deleted inserted replaced
31277:2c7f2b350954 31278:60a53b5af39c 
     2    ID:         $Id: 
     2    ID:         $Id: 
     3    Author:     Robert Himmelmann, TU Muenchen*)
 
     3    Author:     Robert Himmelmann, TU Muenchen*)
 
     4 
     4 
     5 header {* Convex sets, functions and related things. *}
 
     5 header {* Convex sets, functions and related things. *}
 
     6 
     6 
     7 theory Convex
 
     7 theory Convex_Euclidean_Space
 
     8   imports Topology_Euclidean_Space
 
     8   imports Topology_Euclidean_Space
 
     9 begin
 
     9 begin
 
    10 
    10 
    11 
    11 
    12 (* ------------------------------------------------------------------------- *)
 
    12 (* ------------------------------------------------------------------------- *)
isabelle