diff -r efa2a83d548b -r b2c2f74d1c93 Admin/polyml/README
--- a/Admin/polyml/README	Tue May 13 22:14:12 2014 +0200
+++ b/Admin/polyml/README	Wed May 14 12:00:18 2014 +0200
@@ -1,8 +1,8 @@
 Poly/ML for Isabelle
 ====================
 
-This compilation of Poly/ML 5.5.1 (http://www.polyml.org) is based on the
-official source distribution polyml.5.5.1.tar.gz from
+This compilation of Poly/ML 5.5.2 (http://www.polyml.org) is based on the
+official source distribution polyml.5.5.2.tar.gz from
 http://sourceforge.net/projects/polyml/.
 
 The included build script is used like this:
@@ -18,4 +18,4 @@
 
 
 	Makarius
-	17-Sep-2013
+	14-May-2014