src/Pure/ML-Systems/universal.ML
changeset 28255 6faea8ad8559
parent 25733 8722d68471ff
child 29564 f8b933a62151
--- 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 =