--- a/src/Tools/Metis/src/FILES Tue Nov 13 17:04:16 2007 +0100
+++ b/src/Tools/Metis/src/FILES Tue Nov 13 18:29:28 2007 +0100
@@ -1,6 +1,6 @@
+Random.sig Random.sml
Portable.sig PortableIsabelle.sml
PP.sig PP.sml
-Random.sig Random.sml
Useful.sig Useful.sml
Lazy.sig Lazy.sml
Ordered.sig Ordered.sml