src/Pure/library.scala

--- a/src/Pure/library.scala	Sun Aug 06 17:32:32 2017 +0200
+++ b/src/Pure/library.scala	Sun Aug 06 17:38:54 2017 +0200
@@ -259,4 +259,9 @@
 
   def proper_list[A](list: List[A]): Option[List[A]] =
     if (list == null || list.isEmpty) None else Some(list)
+
+
+  /* UUID */
+
+  def UUID(): String = java.util.UUID.randomUUID().toString
 }