explicit indication of modules for independent Scala library;

--- a/src/Pure/Concurrent/counter.scala	Mon Nov 28 22:05:32 2011 +0100
+++ b/src/Pure/Concurrent/counter.scala	Mon Nov 28 22:18:19 2011 +0100
@@ -1,4 +1,5 @@
 /*  Title:      Pure/Concurrent/counter.scala
+    Module:     Library
     Author:     Makarius
 
 Synchronized counter for unique identifiers < 0.

--- a/src/Pure/Concurrent/future.scala	Mon Nov 28 22:05:32 2011 +0100
+++ b/src/Pure/Concurrent/future.scala	Mon Nov 28 22:18:19 2011 +0100
@@ -1,4 +1,5 @@
 /*  Title:      Pure/Concurrent/future.scala
+    Module:     Library
     Author:     Makarius
 
 Future values.

--- a/src/Pure/Concurrent/simple_thread.scala	Mon Nov 28 22:05:32 2011 +0100
+++ b/src/Pure/Concurrent/simple_thread.scala	Mon Nov 28 22:18:19 2011 +0100
@@ -1,4 +1,5 @@
 /*  Title:      Pure/Concurrent/simple_thread.scala
+    Module:     Library
     Author:     Makarius
 
 Simplified thread operations.

--- a/src/Pure/Concurrent/volatile.scala	Mon Nov 28 22:05:32 2011 +0100
+++ b/src/Pure/Concurrent/volatile.scala	Mon Nov 28 22:18:19 2011 +0100
@@ -1,4 +1,5 @@
 /*  Title:      Pure/Concurrent/volatile.scala
+    Module:     Library
     Author:     Makarius
 
 Volatile variables.

--- a/src/Pure/General/exn.scala	Mon Nov 28 22:05:32 2011 +0100
+++ b/src/Pure/General/exn.scala	Mon Nov 28 22:18:19 2011 +0100
@@ -1,4 +1,5 @@
 /*  Title:      Pure/General/exn.scala
+    Module:     Library
     Author:     Makarius
 
 Support for exceptions (arbitrary throwables).

--- a/src/Pure/General/markup.scala	Mon Nov 28 22:05:32 2011 +0100
+++ b/src/Pure/General/markup.scala	Mon Nov 28 22:18:19 2011 +0100
@@ -1,4 +1,5 @@
 /*  Title:      Pure/General/markup.scala
+    Module:     Library
     Author:     Makarius
 
 Generic markup elements.

--- a/src/Pure/General/properties.scala	Mon Nov 28 22:05:32 2011 +0100
+++ b/src/Pure/General/properties.scala	Mon Nov 28 22:18:19 2011 +0100
@@ -1,4 +1,5 @@
 /*  Title:      Pure/General/properties.scala
+    Module:     Library
     Author:     Makarius
 
 Property lists.

--- a/src/Pure/General/sha1.scala	Mon Nov 28 22:05:32 2011 +0100
+++ b/src/Pure/General/sha1.scala	Mon Nov 28 22:18:19 2011 +0100
@@ -1,4 +1,5 @@
 /*  Title:      Pure/General/sha1.scala
+    Module:     Library
     Author:     Makarius
 
 Digest strings according to SHA-1 (see RFC 3174).

--- a/src/Pure/General/timing.scala	Mon Nov 28 22:05:32 2011 +0100
+++ b/src/Pure/General/timing.scala	Mon Nov 28 22:18:19 2011 +0100
@@ -1,4 +1,5 @@
 /*  Title:      Pure/General/timing.scala
+    Module:     Library
     Author:     Makarius
 
 Basic support for time measurement.

--- a/src/Pure/PIDE/markup_tree.scala	Mon Nov 28 22:05:32 2011 +0100
+++ b/src/Pure/PIDE/markup_tree.scala	Mon Nov 28 22:18:19 2011 +0100
@@ -1,4 +1,5 @@
 /*  Title:      Pure/PIDE/markup_tree.scala
+    Module:     Library
     Author:     Fabian Immler, TU Munich
     Author:     Makarius
 

--- a/src/Pure/PIDE/text.scala	Mon Nov 28 22:05:32 2011 +0100
+++ b/src/Pure/PIDE/text.scala	Mon Nov 28 22:18:19 2011 +0100
@@ -1,4 +1,5 @@
 /*  Title:      Pure/PIDE/text.scala
+    Module:     Library
     Author:     Fabian Immler, TU Munich
     Author:     Makarius
 

--- a/src/Pure/PIDE/xml.scala	Mon Nov 28 22:05:32 2011 +0100
+++ b/src/Pure/PIDE/xml.scala	Mon Nov 28 22:18:19 2011 +0100
@@ -1,4 +1,5 @@
 /*  Title:      Pure/PIDE/xml.scala
+    Module:     Library
     Author:     Makarius
 
 Untyped XML trees and basic data representation.

--- a/src/Pure/PIDE/yxml.scala	Mon Nov 28 22:05:32 2011 +0100
+++ b/src/Pure/PIDE/yxml.scala	Mon Nov 28 22:18:19 2011 +0100
@@ -1,4 +1,5 @@
 /*  Title:      Pure/PIDE/yxml.scala
+    Module:     Library
     Author:     Makarius
 
 Efficient text representation of XML trees.  Suitable for direct

--- a/src/Pure/System/cygwin.scala	Mon Nov 28 22:05:32 2011 +0100
+++ b/src/Pure/System/cygwin.scala	Mon Nov 28 22:18:19 2011 +0100
@@ -1,4 +1,5 @@
 /*  Title:      Pure/System/cygwin.scala
+    Module:     Library
     Author:     Makarius
 
 Accessing the Cygwin installation.

--- a/src/Pure/System/download.scala	Mon Nov 28 22:05:32 2011 +0100
+++ b/src/Pure/System/download.scala	Mon Nov 28 22:18:19 2011 +0100
@@ -1,4 +1,5 @@
 /*  Title:      Pure/System/download.scala
+    Module:     Library
     Author:     Makarius
 
 Download URLs -- with progress monitor.

--- a/src/Pure/System/event_bus.scala	Mon Nov 28 22:05:32 2011 +0100
+++ b/src/Pure/System/event_bus.scala	Mon Nov 28 22:18:19 2011 +0100
@@ -1,4 +1,5 @@
 /*  Title:      Pure/System/event_bus.scala
+    Module:     Library
     Author:     Makarius
 
 Generic event bus with multiple receiving actors.

--- a/src/Pure/System/platform.scala	Mon Nov 28 22:05:32 2011 +0100
+++ b/src/Pure/System/platform.scala	Mon Nov 28 22:18:19 2011 +0100
@@ -1,4 +1,5 @@
 /*  Title:      Pure/System/platform.scala
+    Module:     Library
     Author:     Makarius
 
 Raw platform identification.

--- a/src/Pure/System/standard_system.scala	Mon Nov 28 22:05:32 2011 +0100
+++ b/src/Pure/System/standard_system.scala	Mon Nov 28 22:18:19 2011 +0100
@@ -1,4 +1,5 @@
 /*  Title:      Pure/System/standard_system.scala
+    Module:     Library
     Author:     Makarius
 
 Standard system operations, with basic Cygwin/Posix compatibility.

--- a/src/Pure/System/swing_thread.scala	Mon Nov 28 22:05:32 2011 +0100
+++ b/src/Pure/System/swing_thread.scala	Mon Nov 28 22:18:19 2011 +0100
@@ -1,4 +1,5 @@
 /*  Title:      Pure/System/swing_thread.scala
+    Module:     Library
     Author:     Makarius
     Author:     Fabian Immler, TU Munich
 

--- a/src/Pure/library.scala	Mon Nov 28 22:05:32 2011 +0100
+++ b/src/Pure/library.scala	Mon Nov 28 22:18:19 2011 +0100
@@ -1,4 +1,5 @@
 /*  Title:      Pure/library.scala
+    Module:     Library
     Author:     Makarius
 
 Basic library.

--- a/src/Pure/package.scala	Mon Nov 28 22:05:32 2011 +0100
+++ b/src/Pure/package.scala	Mon Nov 28 22:18:19 2011 +0100
@@ -1,4 +1,5 @@
 /*  Title:      Pure/package.scala
+    Module:     Library
     Author:     Makarius
 
 Toplevel isabelle package.