src/HOLCF/Domain.thy

--- a/src/HOLCF/Domain.thy	Thu May 31 13:24:13 2007 +0200
+++ b/src/HOLCF/Domain.thy	Thu May 31 14:01:58 2007 +0200
@@ -7,15 +7,6 @@
 
 theory Domain
 imports Ssum Sprod Up One Tr Fixrec
-(*
-files
-  ("domain/library.ML")
-  ("domain/syntax.ML")
-  ("domain/axioms.ML")
-  ("domain/theorems.ML")
-  ("domain/extender.ML")
-  ("domain/interface.ML")
-*)
 begin
 
 defaultsort pcpo