src/HOL/Real/Real.thy

--- a/src/HOL/Real/Real.thy	Wed Dec 03 09:53:58 2008 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,6 +0,0 @@
-(* $Id$ *)
-
-theory Real
-imports ContNotDenum RealVector
-begin
-end