# HG changeset patch
# User wenzelm
# Date 1232390283 -3600
# Node ID f8b933a6215195a18ad25cd7e8b3363c9290630c
# Parent  4773c5c994dc72dfcf1f51dfd04f49a0d989007d
removed Ids;

diff -r 4773c5c994dc -r f8b933a62151 src/Pure/Concurrent/mailbox.ML
--- a/src/Pure/Concurrent/mailbox.ML	Mon Jan 19 16:03:04 2009 +0100
+++ b/src/Pure/Concurrent/mailbox.ML	Mon Jan 19 19:38:03 2009 +0100
@@ -1,5 +1,4 @@
 (*  Title:      Pure/Concurrent/mailbox.ML
-    ID:         $Id$
     Author:     Makarius
 
 Message exchange via mailbox, with non-blocking send (due to unbounded
diff -r 4773c5c994dc -r f8b933a62151 src/Pure/Concurrent/simple_thread.ML
--- a/src/Pure/Concurrent/simple_thread.ML	Mon Jan 19 16:03:04 2009 +0100
+++ b/src/Pure/Concurrent/simple_thread.ML	Mon Jan 19 19:38:03 2009 +0100
@@ -1,5 +1,4 @@
 (*  Title:      Pure/Concurrent/simple_thread.ML
-    ID:         $Id$
     Author:     Makarius
 
 Simplified thread operations.
diff -r 4773c5c994dc -r f8b933a62151 src/Pure/Concurrent/synchronized.ML
--- a/src/Pure/Concurrent/synchronized.ML	Mon Jan 19 16:03:04 2009 +0100
+++ b/src/Pure/Concurrent/synchronized.ML	Mon Jan 19 19:38:03 2009 +0100
@@ -1,5 +1,4 @@
 (*  Title:      Pure/Concurrent/synchronized.ML
-    ID:         $Id$
     Author:     Fabian Immler and Makarius
 
 State variables with synchronized access.
diff -r 4773c5c994dc -r f8b933a62151 src/Pure/ML-Systems/alice.ML
--- a/src/Pure/ML-Systems/alice.ML	Mon Jan 19 16:03:04 2009 +0100
+++ b/src/Pure/ML-Systems/alice.ML	Mon Jan 19 19:38:03 2009 +0100
@@ -1,5 +1,4 @@
 (*  Title:      Pure/ML-Systems/alice.ML
-    ID:         $Id$
 
 Compatibility file for Alice 1.4.
 
diff -r 4773c5c994dc -r f8b933a62151 src/Pure/ML-Systems/exn.ML
--- a/src/Pure/ML-Systems/exn.ML	Mon Jan 19 16:03:04 2009 +0100
+++ b/src/Pure/ML-Systems/exn.ML	Mon Jan 19 19:38:03 2009 +0100
@@ -1,5 +1,4 @@
 (*  Title:      Pure/ML-Systems/exn.ML
-    ID:         $Id$
     Author:     Makarius
 
 Extra support for exceptions.
diff -r 4773c5c994dc -r f8b933a62151 src/Pure/ML-Systems/install_pp_polyml.ML
--- a/src/Pure/ML-Systems/install_pp_polyml.ML	Mon Jan 19 16:03:04 2009 +0100
+++ b/src/Pure/ML-Systems/install_pp_polyml.ML	Mon Jan 19 19:38:03 2009 +0100
@@ -1,5 +1,4 @@
 (*  Title:      Pure/ML-Systems/install_pp_polyml.ML
-    ID:         $Id$
 
 Extra toplevel pretty-printing for Poly/ML.
 *)
diff -r 4773c5c994dc -r f8b933a62151 src/Pure/ML-Systems/ml_name_space.ML
--- a/src/Pure/ML-Systems/ml_name_space.ML	Mon Jan 19 16:03:04 2009 +0100
+++ b/src/Pure/ML-Systems/ml_name_space.ML	Mon Jan 19 19:38:03 2009 +0100
@@ -1,5 +1,4 @@
 (*  Title:      Pure/ML-Systems/ml_name_space.ML
-    ID:         $Id$
     Author:     Makarius
 
 ML name space -- dummy version of Poly/ML 5.2 facility.
diff -r 4773c5c994dc -r f8b933a62151 src/Pure/ML-Systems/multithreading.ML
--- a/src/Pure/ML-Systems/multithreading.ML	Mon Jan 19 16:03:04 2009 +0100
+++ b/src/Pure/ML-Systems/multithreading.ML	Mon Jan 19 19:38:03 2009 +0100
@@ -1,5 +1,4 @@
 (*  Title:      Pure/ML-Systems/multithreading.ML
-    ID:         $Id$
     Author:     Makarius
 
 Dummy implementation of multithreading setup.
diff -r 4773c5c994dc -r f8b933a62151 src/Pure/ML-Systems/multithreading_polyml.ML
--- a/src/Pure/ML-Systems/multithreading_polyml.ML	Mon Jan 19 16:03:04 2009 +0100
+++ b/src/Pure/ML-Systems/multithreading_polyml.ML	Mon Jan 19 19:38:03 2009 +0100
@@ -1,5 +1,4 @@
 (*  Title:      Pure/ML-Systems/multithreading_polyml.ML
-    ID:         $Id$
     Author:     Makarius
 
 Multithreading in Poly/ML 5.2 or later (cf. polyml/basis/Thread.sml).
diff -r 4773c5c994dc -r f8b933a62151 src/Pure/ML-Systems/overloading_smlnj.ML
--- a/src/Pure/ML-Systems/overloading_smlnj.ML	Mon Jan 19 16:03:04 2009 +0100
+++ b/src/Pure/ML-Systems/overloading_smlnj.ML	Mon Jan 19 19:38:03 2009 +0100
@@ -1,5 +1,4 @@
 (*  Title:      Pure/ML-Systems/overloading_smlnj.ML
-    ID:         $Id$
     Author:     Makarius
 
 Overloading in SML/NJ (cf. smlnj/base/system/smlnj/init/pervasive.sml).
diff -r 4773c5c994dc -r f8b933a62151 src/Pure/ML-Systems/polyml-4.1.3.ML
--- a/src/Pure/ML-Systems/polyml-4.1.3.ML	Mon Jan 19 16:03:04 2009 +0100
+++ b/src/Pure/ML-Systems/polyml-4.1.3.ML	Mon Jan 19 19:38:03 2009 +0100
@@ -1,5 +1,4 @@
 (*  Title:      Pure/ML-Systems/polyml-4.1.3.ML
-    ID:         $Id$
 
 Compatibility wrapper for Poly/ML 4.1.3.
 *)
diff -r 4773c5c994dc -r f8b933a62151 src/Pure/ML-Systems/polyml-4.1.4.ML
--- a/src/Pure/ML-Systems/polyml-4.1.4.ML	Mon Jan 19 16:03:04 2009 +0100
+++ b/src/Pure/ML-Systems/polyml-4.1.4.ML	Mon Jan 19 19:38:03 2009 +0100
@@ -1,5 +1,4 @@
 (*  Title:      Pure/ML-Systems/polyml-4.1.4.ML
-    ID:         $Id$
 
 Compatibility wrapper for Poly/ML 4.1.4.
 *)
diff -r 4773c5c994dc -r f8b933a62151 src/Pure/ML-Systems/polyml-4.2.0.ML
--- a/src/Pure/ML-Systems/polyml-4.2.0.ML	Mon Jan 19 16:03:04 2009 +0100
+++ b/src/Pure/ML-Systems/polyml-4.2.0.ML	Mon Jan 19 19:38:03 2009 +0100
@@ -1,5 +1,4 @@
 (*  Title:      Pure/ML-Systems/polyml-4.2.0.ML
-    ID:         $Id$
 
 Compatibility wrapper for Poly/ML 4.2.0.
 *)
diff -r 4773c5c994dc -r f8b933a62151 src/Pure/ML-Systems/polyml-5.0.ML
--- a/src/Pure/ML-Systems/polyml-5.0.ML	Mon Jan 19 16:03:04 2009 +0100
+++ b/src/Pure/ML-Systems/polyml-5.0.ML	Mon Jan 19 19:38:03 2009 +0100
@@ -1,5 +1,4 @@
 (*  Title:      Pure/ML-Systems/polyml-5.0.ML
-    ID:         $Id$
 
 Compatibility wrapper for Poly/ML 5.0.
 *)
diff -r 4773c5c994dc -r f8b933a62151 src/Pure/ML-Systems/polyml-5.1.ML
--- a/src/Pure/ML-Systems/polyml-5.1.ML	Mon Jan 19 16:03:04 2009 +0100
+++ b/src/Pure/ML-Systems/polyml-5.1.ML	Mon Jan 19 19:38:03 2009 +0100
@@ -1,5 +1,4 @@
 (*  Title:      Pure/ML-Systems/polyml-5.1.ML
-    ID:         $Id$
 
 Compatibility wrapper for Poly/ML 5.1.
 *)
diff -r 4773c5c994dc -r f8b933a62151 src/Pure/ML-Systems/polyml.ML
--- a/src/Pure/ML-Systems/polyml.ML	Mon Jan 19 16:03:04 2009 +0100
+++ b/src/Pure/ML-Systems/polyml.ML	Mon Jan 19 19:38:03 2009 +0100
@@ -1,5 +1,4 @@
 (*  Title:      Pure/ML-Systems/polyml.ML
-    ID:         $Id$
 
 Compatibility wrapper for Poly/ML 5.2 or later.
 *)
diff -r 4773c5c994dc -r f8b933a62151 src/Pure/ML-Systems/polyml_common.ML
--- a/src/Pure/ML-Systems/polyml_common.ML	Mon Jan 19 16:03:04 2009 +0100
+++ b/src/Pure/ML-Systems/polyml_common.ML	Mon Jan 19 19:38:03 2009 +0100
@@ -1,5 +1,4 @@
 (*  Title:      Pure/ML-Systems/polyml_common.ML
-    ID:         $Id$
 
 Compatibility file for Poly/ML -- common part for 4.x and 5.x.
 *)
diff -r 4773c5c994dc -r f8b933a62151 src/Pure/ML-Systems/polyml_old_basis.ML
--- a/src/Pure/ML-Systems/polyml_old_basis.ML	Mon Jan 19 16:03:04 2009 +0100
+++ b/src/Pure/ML-Systems/polyml_old_basis.ML	Mon Jan 19 19:38:03 2009 +0100
@@ -1,5 +1,4 @@
 (*  Title:      Pure/ML-Systems/polyml_old_basis.ML
-    ID:         $Id$
 
 Fixes for the old SML basis library (before Poly/ML 4.2.0).
 *)
diff -r 4773c5c994dc -r f8b933a62151 src/Pure/ML-Systems/polyml_old_compiler4.ML
--- a/src/Pure/ML-Systems/polyml_old_compiler4.ML	Mon Jan 19 16:03:04 2009 +0100
+++ b/src/Pure/ML-Systems/polyml_old_compiler4.ML	Mon Jan 19 19:38:03 2009 +0100
@@ -1,5 +1,4 @@
 (*  Title:      Pure/ML-Systems/polyml_old_compiler4.ML
-    ID:         $Id$
 
 Runtime compilation -- for old PolyML.compiler (version 4.x).
 *)
diff -r 4773c5c994dc -r f8b933a62151 src/Pure/ML-Systems/polyml_old_compiler5.ML
--- a/src/Pure/ML-Systems/polyml_old_compiler5.ML	Mon Jan 19 16:03:04 2009 +0100
+++ b/src/Pure/ML-Systems/polyml_old_compiler5.ML	Mon Jan 19 19:38:03 2009 +0100
@@ -1,5 +1,4 @@
 (*  Title:      Pure/ML-Systems/polyml_old_compiler5.ML
-    ID:         $Id$
 
 Runtime compilation -- for old PolyML.compilerEx (version 5.0, 5.1).
 *)
diff -r 4773c5c994dc -r f8b933a62151 src/Pure/ML-Systems/proper_int.ML
--- a/src/Pure/ML-Systems/proper_int.ML	Mon Jan 19 16:03:04 2009 +0100
+++ b/src/Pure/ML-Systems/proper_int.ML	Mon Jan 19 19:38:03 2009 +0100
@@ -1,5 +1,4 @@
 (*  Title:      Pure/ML-Systems/proper_int.ML
-    ID:         $Id$
     Author:     Makarius
 
 SML basis with type int representing proper integers, not machine
diff -r 4773c5c994dc -r f8b933a62151 src/Pure/ML-Systems/smlnj.ML
--- a/src/Pure/ML-Systems/smlnj.ML	Mon Jan 19 16:03:04 2009 +0100
+++ b/src/Pure/ML-Systems/smlnj.ML	Mon Jan 19 19:38:03 2009 +0100
@@ -1,5 +1,4 @@
 (*  Title:      Pure/ML-Systems/smlnj.ML
-    ID:         $Id$
 
 Compatibility file for Standard ML of New Jersey 110 or later.
 *)
diff -r 4773c5c994dc -r f8b933a62151 src/Pure/ML-Systems/system_shell.ML
--- a/src/Pure/ML-Systems/system_shell.ML	Mon Jan 19 16:03:04 2009 +0100
+++ b/src/Pure/ML-Systems/system_shell.ML	Mon Jan 19 19:38:03 2009 +0100
@@ -1,5 +1,4 @@
 (*  Title:      Pure/ML-Systems/system_shell.ML
-    ID:         $Id$
     Author:     Makarius
 
 Generic system shell processes (no provisions to propagate interrupts;
diff -r 4773c5c994dc -r f8b933a62151 src/Pure/ML-Systems/thread_dummy.ML
--- a/src/Pure/ML-Systems/thread_dummy.ML	Mon Jan 19 16:03:04 2009 +0100
+++ b/src/Pure/ML-Systems/thread_dummy.ML	Mon Jan 19 19:38:03 2009 +0100
@@ -1,5 +1,4 @@
 (*  Title:      Pure/ML-Systems/thread_dummy.ML
-    ID:         $Id$
     Author:     Makarius
 
 Default (mostly dummy) implementation of thread structures
diff -r 4773c5c994dc -r f8b933a62151 src/Pure/ML-Systems/time_limit.ML
--- a/src/Pure/ML-Systems/time_limit.ML	Mon Jan 19 16:03:04 2009 +0100
+++ b/src/Pure/ML-Systems/time_limit.ML	Mon Jan 19 19:38:03 2009 +0100
@@ -1,5 +1,4 @@
 (*  Title:      Pure/ML-Systems/time_limit.ML
-    ID:         $Id$
     Author:     Makarius
 
 Dummy implementation of NJ's TimeLimit structure.
diff -r 4773c5c994dc -r f8b933a62151 src/Pure/ML-Systems/universal.ML
--- a/src/Pure/ML-Systems/universal.ML	Mon Jan 19 16:03:04 2009 +0100
+++ b/src/Pure/ML-Systems/universal.ML	Mon Jan 19 19:38:03 2009 +0100
@@ -1,5 +1,4 @@
 (*  Title:      Pure/ML-Systems/universal.ML
-    ID:         $Id$
     Author:     Makarius
 
 Universal values via tagged union.  Emulates structure Universal