src/HOL/Library/Euclidean_Space.thy
changeset 30267 171b3bd93c90
parent 30263 c88af4619a73
child 30305 720226bedc4d
--- a/src/HOL/Library/Euclidean_Space.thy	Wed Mar 04 23:05:32 2009 +0100
+++ b/src/HOL/Library/Euclidean_Space.thy	Wed Mar 04 23:52:47 2009 +0100
@@ -1,5 +1,4 @@
 (* Title:      Library/Euclidean_Space
-   ID:         $Id: 
    Author:     Amine Chaieb, University of Cambridge
 *)