src/Pure/ML-Systems/MLWorks.ML
1997-08-05 paulson 1997-08-05 Corrected a comment
1997-07-22 paulson 1997-07-22 Option is a synonym for General because MLWorks does not yet provide Option as a separate structure
1997-07-04 paulson 1997-07-04 Moved MLWorks.ML to its proper place, directory ML-Systems. Note that MLWorks does not quite work yet, especially top-level pretty printing