src/Pure/ML-Systems/polyml-4.2.0.ML
changeset 21299 4b01726d71fc
parent 18161 fd3afbf2a883
     1.1 --- a/src/Pure/ML-Systems/polyml-4.2.0.ML	Fri Nov 10 23:22:10 2006 +0100
     1.2 +++ b/src/Pure/ML-Systems/polyml-4.2.0.ML	Fri Nov 10 23:22:11 2006 +0100
     1.3 @@ -1,6 +1,5 @@
     1.4  (*  Title:      Pure/ML-Systems/polyml-4.2.0.ML
     1.5      ID:         $Id$
     1.6 -    Author:     Makarius
     1.7  
     1.8  Compatibility wrapper for Poly/ML 4.2.0.
     1.9  *)