src/Pure/ML-Systems/universal.ML
changeset 28255 6faea8ad8559
parent 25733 8722d68471ff
child 29564 f8b933a62151
     1.1 --- a/src/Pure/ML-Systems/universal.ML	Tue Sep 16 18:01:24 2008 +0200
     1.2 +++ b/src/Pure/ML-Systems/universal.ML	Tue Sep 16 18:01:25 2008 +0200
     1.3 @@ -3,7 +3,7 @@
     1.4      Author:     Makarius
     1.5  
     1.6  Universal values via tagged union.  Emulates structure Universal
     1.7 -in Poly/ML 5.1.
     1.8 +from Poly/ML 5.1.
     1.9  *)
    1.10  
    1.11  signature UNIVERSAL =