--- a/src/Pure/ML-Systems/universal.ML Tue Sep 16 18:01:24 2008 +0200
+++ b/src/Pure/ML-Systems/universal.ML Tue Sep 16 18:01:25 2008 +0200
@@ -3,7 +3,7 @@
Author: Makarius
Universal values via tagged union. Emulates structure Universal
-in Poly/ML 5.1.
+from Poly/ML 5.1.
*)
signature UNIVERSAL =