src/Pure/Concurrent/par_list_dummy.ML

--- a/src/Pure/Concurrent/par_list_dummy.ML	Tue Jan 06 14:33:49 2009 +0100
+++ b/src/Pure/Concurrent/par_list_dummy.ML	Tue Jan 06 14:43:35 2009 +0100
@@ -1,11 +1,10 @@
 (*  Title:      Pure/Concurrent/par_list_dummy.ML
-    ID:         $Id$
     Author:     Makarius
 
 Dummy version of parallel list combinators -- plain sequential evaluation.
 *)
 
-structure ParList: PAR_LIST =
+structure Par_List: PAR_LIST =
 struct
 
 val map = map;