changeset 41959 | b460124855b8 |
parent 39302 | d7728f65b353 |
child 44170 | 510ac30f44c0 |
--- a/src/HOL/Multivariate_Analysis/Path_Connected.thy Sun Mar 13 22:24:10 2011 +0100 +++ b/src/HOL/Multivariate_Analysis/Path_Connected.thy Sun Mar 13 22:55:50 2011 +0100 @@ -1,4 +1,4 @@ -(* Title: Multivariate_Analysis/Path_Connected.thy +(* Title: HOL/Multivariate_Analysis/Path_Connected.thy Author: Robert Himmelmann, TU Muenchen *)